@inproceedings{teixeira:detecting-tm-anomalies:padtad:2010,
  author	= {Teixeira, Bruno and {Lourenc{c} Jo{\~a}and Farchi}, Eitan and Dias, Ricardo and Sousa, Diogo},
  title		= {Detection of Transactional Memory Anomalies Using Static Analysis},
  booktitle	= {Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging},
  series	= {PADTAD '10},
  year		= {2010},
  isbn		= {978-1-4503-0136-7},
  location	= {Trento, Italy},
  pages		= {26--36},
  numpages	= {11},
  url		= {http://doi.acm.org/10.1145/1866210.1866213},
  doi		= {http://doi.acm.org/10.1145/1866210.1866213},
  acmid		= {1866213},
  publisher	= {ACM},
  address	= {New York, NY, USA},
}