@inproceedings{sasturkar05automated,
author="Amit Sasturkar and Rahul Agarwal and Scott D. Stoller",
title="Automated Type-Based Analysis of Data Races and Atomicity",
booktitle="Proc.\ ACM SIGPLAN 2005 Symposium on Principles and Practice 
  of Parallel Programming (PPoPP)",
publisher="ACM Press",
month=jun,
year=2005
}