@inproceedings{wang05nonblocking,
author="Liqiang Wang and Scott D. Stoller",
title="Static Analysis for Programs with Non-Blocking Synchronization",
booktitle="Proc.\ ACM SIGPLAN 2005 Symposium on Principles and Practice 
  of Parallel Programming (PPoPP)",
publisher="ACM Press",
month=jun,
year=2005
}