@inproceedings{singh:modelchecking-tm:pldi:2008,
  author	= {Guerraoui, Rachid and Henzinger, Thomas A. and Jobstmann, Barbara and Singh, Vasu},
  title		= {Model Checking Transactional Memories},
  booktitle	= {ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)},
  year		= {2008},
  publisher	= {ACM},
  pdf		= {http://infoscience.epfl.ch/record/117513/files/PLDI_paper.pdf},
}