@InProceedings{GHKS09,
  author =	 {Rachid Guerraoui and Thomas A. Henzinger and
                  Micha\l{} Kapa\l{}ka and Vasu Singh},
  title =	 {Generalizing the Correctness of Transactional
                  Memory},
  booktitle =	 {{CAV'09} Workshop on Exploiting Concurrency
                  Efficiently and Correctly ({$(EC)^2$})},
  year =	 2009,
  month =	 jun,
  location =	 {Grenoble, France},
}