Author:
Narayanasamy Satish,Wang Zhenghao,Tigani Jordan,Edwards Andrew,Calder Brad
Cited by
129 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
2. Improving the Detection of Concurrent Artifact Anomalies in a Structured Workflow;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
3. Diagnosing Kernel Concurrency Failures with AITIA;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
4. OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
5. Tolerate Control-Flow Changes for Sound Data Race Prediction;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05