Author:
Agarwal Anurag,Garg Vijay K.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
2. Opportunistic Monitoring of Multithreaded Programs;Fundamental Approaches to Software Engineering;2023
3. Sound Concurrent Traces for Online Monitoring;Model Checking Software;2023
4. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases;Runtime Verification;2023
5. Effective race detection for event-driven programs;ACM SIGPLAN Notices;2013-11-12