Author:
Farzan Azadeh,Kincaid Zachary
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Correctness Witness Validation by Abstract Interpretation;Lecture Notes in Computer Science;2023-12-30
2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
3. Value-centric dynamic partial order reduction;Proceedings of the ACM on Programming Languages;2019-10-10
4. Datalog-based scalable semantic diffing of concurrent programs;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03
5. Data-centric dynamic partial order reduction;Proceedings of the ACM on Programming Languages;2018-01