@inproceedings{DBLP:conf/pldi/GuerraouiKL12,
author = {Rachid Guerraoui and
Viktor Kuncak and
Giuliano Losa},
title = {Speculative linearizability},
booktitle = {PLDI},
year = {2012},
pages = {55-66},
ee = {http://doi.acm.org/10.1145/2254064.2254072},
crossref = {DBLP:conf/pldi/2012},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/pldi/2012,
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {ACM SIGPLAN Conference on Programming Language Design and
Implementation, PLDI '12, Beijing, China - June 11 - 16,
2012},
booktitle = {PLDI},
publisher = {ACM},
year = {2012},
isbn = {978-1-4503-1205-9},
ee = {http://dl.acm.org/citation.cfm?id=2254064},
bibsource = {DBLP, http://dblp.uni-trier.de}
}