Author:
Bender Michael A.,Fineman Jeremy T.,Gilbert Seth,Leiserson Charles E.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Language-Agnostic Static Deadlock Detection for Futures;Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming;2024-02-20
2. PINT: Parallel INTerval-Based Race Detector;2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2022-05
3. Model-checking task-parallel programs for data-race;Innovations in Systems and Software Engineering;2019-05-18
4. Efficient race detection with futures;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16
5. Optimized Sound and Complete Data Race Detection in Structured Parallel Programs;Languages and Compilers for Parallel Computing;2019