%0 Conference Paper %1 conf/asplos/BurnimNS11 %A Burnim, Jacob %A Necula, George C. %A Sen, Koushik %B ASPLOS %D 2011 %E Gupta, Rajiv %E Mowry, Todd C. %I ACM %K dblp %P 79-90 %T Specifying and checking semantic atomicity for multithreaded programs. %U http://dblp.uni-trier.de/db/conf/asplos/asplos2011.html#BurnimNS11 %@ 978-1-4503-0266-1

@inproceedings{conf/asplos/BurnimNS11, added-at = {2021-07-07T00:00:00.000+0200}, author = {Burnim, Jacob and Necula, George C. and Sen, Koushik}, biburl = {https://www.bibsonomy.org/bibtex/209f125c8d42f5fb28ff28257f5e5b188/dblp}, booktitle = {ASPLOS}, crossref = {conf/asplos/2011}, editor = {Gupta, Rajiv and Mowry, Todd C.}, ee = {https://doi.org/10.1145/1961296.1950377}, interhash = {e49236e41bee6257b2f421ef0a229b39}, intrahash = {09f125c8d42f5fb28ff28257f5e5b188}, isbn = {978-1-4503-0266-1}, keywords = {dblp}, pages = {79-90}, publisher = {ACM}, timestamp = {2024-04-10T01:54:36.000+0200}, title = {Specifying and checking semantic atomicity for multithreaded programs.}, url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2011.html#BurnimNS11}, year = 2011 }