Author:
Elmas Tayfun,Qadeer Shaz,Tasiran Serdar
Cited by
163 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
2. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
3. Coarser Equivalences for Causal Concurrency;Proceedings of the ACM on Programming Languages;2024-01-05
4. Predictive Monitoring with Strong Trace Prefixes;Lecture Notes in Computer Science;2024
5. Enhanced S2E for Analysis of Multi-Thread Software;Programming and Computer Software;2023-12