%0 Conference Paper %1 conf/ppopp/BurnimENS12 %A Burnim, Jacob %A Elmas, Tayfun %A Necula, George C. %A Sen, Koushik %B PPoPP %D 2012 %E Ramanujam, J. %E Sadayappan, P. %I ACM %K dblp %P 329-330 %T NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. %U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2012.html#BurnimENS12 %@ 978-1-4503-1160-1

@inproceedings{conf/ppopp/BurnimENS12, added-at = {2022-06-12T00:00:00.000+0200}, author = {Burnim, Jacob and Elmas, Tayfun and Necula, George C. and Sen, Koushik}, biburl = {https://www.bibsonomy.org/bibtex/2509e8ef7b66c101af4e5f37ddf14d505/dblp}, booktitle = {PPoPP}, crossref = {conf/ppopp/2012}, editor = {Ramanujam, J. and Sadayappan, P.}, ee = {https://doi.org/10.1145/2370036.2145879}, interhash = {b9e879d53b300b8e02aaef79ff2a70d8}, intrahash = {509e8ef7b66c101af4e5f37ddf14d505}, isbn = {978-1-4503-1160-1}, keywords = {dblp}, pages = {329-330}, publisher = {ACM}, timestamp = {2024-04-10T01:15:39.000+0200}, title = {NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.}, url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2012.html#BurnimENS12}, year = 2012 }