Author:
Naik Mayur,Park Chang-Seo,Sen Koushik,Gay David
Cited by
119 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An empirical application of user-guided program analysis;China Communications;2024-07
2. 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
3. SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06
5. TSVD4J: Thread-Safety Violation Detection for Java;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05