@inproceedings{agarwal05Optimized,
author="Rahul Agarwal and Amit Sasturkar and Liqiang Wang and Scott D. Stoller",
title="Optimized Run-Time Race Detection And Atomicity Checking Using
Partial Discovered Types",
booktitle="Proc.\ 20th IEEE/ACM International Conference on Automated
Software Engineering (ASE)",
publisher="ACM Press",
month=nov,
year=2005
}