Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
Optimized run-time race detection and atomicity checking using partial discovered types
ASE, 2005.
@inproceedings{ASE-2005-AgarwalSWS,
author = "Rahul Agarwal and Amit Sasturkar and Liqiang Wang and Scott D. Stoller",
booktitle = "{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1101908.1101944",
pages = "233--242",
publisher = "{ACM}",
title = "{Optimized run-time race detection and atomicity checking using partial discovered types}",
year = 2005,
}