Author:
Joshi Pallavi,Naik Mayur,Sen Koushik,Gay David
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06
2. TSVD4J: Thread-Safety Violation Detection for Java;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
3. Peahen: fast and precise static deadlock detection via context reduction;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. Deadlock prediction via generalized dependency;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
5. HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12