1. Detecting data races on weak memory systems
2. Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D Stoller. 2005. Optimized run-time race detection and atomicity checking using partial discovered types. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering. 233–242.
3. Rahul Agarwal and Scott D Stoller. 2004. Type inference for parameterized race-free Java. In International Workshop on Verification, Model Checking, and Abstract Interpretation. 149–160.
4. Adil Ahmad, Sangho Lee, Pedro Fonseca, and Byoungyoung Lee. 2021. Kard: Lightweight data race detection with per-thread memory protection. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 647–660.
5. Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. 2008. Demand-driven compositional symbolic execution. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 367–381.