@INPROCEEDINGS{hicks:transact06, TITLE = {Lock Inference for Atomic Sections}, BOOKTITLE = {Proceedings of the First {ACM} SIGPLAN Workshop on Languages Compilers, and Hardware Support for Transactional Computing (TRANSACT)}, AUTHOR = {Michael Hicks and Jeffrey S. Foster and Polyvios Pratikakis}, LOCATION = {Ottawa, Canada}, MONTH = {June}, YEAR = 2006 }