Author:
Cheng Guang-Ien,Feng Mingdong,Leiserson Charles E.,Randall Keith H.,Stark Andrew F.
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamic Race Detection with O(1) Samples;Proceedings of the ACM on Programming Languages;2023-01-09
2. Efficient data race detection of async-finish programs using vector clocks;Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores;2022-04-02
3. A tree clock data structure for causal orderings in concurrent executions;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
4. Hemlock;Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures;2021-07-06
5. Understanding and automatically detecting conflicting interactions between smart home IoT applications;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07