%0 Conference Paper %1 conf/pldi/BurnimENS11 %A Burnim, Jacob %A Elmas, Tayfun %A Necula, George C. %A Sen, Koushik %B PLDI %D 2011 %E Hall, Mary W. %E Padua, David A. %I ACM %K dblp %P 401-414 %T NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#BurnimENS11 %@ 978-1-4503-0663-8

@inproceedings{conf/pldi/BurnimENS11, added-at = {2021-06-24T00:00:00.000+0200}, author = {Burnim, Jacob and Elmas, Tayfun and Necula, George C. and Sen, Koushik}, biburl = {https://www.bibsonomy.org/bibtex/229584d733bc096f237ab94642f4cedbc/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2011}, editor = {Hall, Mary W. and Padua, David A.}, ee = {https://doi.org/10.1145/1993316.1993545}, interhash = {d69c1aba68d3df7a98bfdf476a2cc154}, intrahash = {29584d733bc096f237ab94642f4cedbc}, isbn = {978-1-4503-0663-8}, keywords = {dblp}, pages = {401-414}, publisher = {ACM}, timestamp = {2024-04-09T18:58:58.000+0200}, title = {NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#BurnimENS11}, year = 2011 }