%0 Conference Paper %1 Bocchino:2011:SND:1926385.1926447 %A Bocchino, Jr., Robert L. %A Heumann, Stephen %A Honarmand, Nima %A Adve, Sarita V. %A Adve, Vikram S. %A Welc, Adam %A Shpeisman, Tatiana %B Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages %C New York, NY, USA %D 2011 %I ACM %K Nondeterministic formal java semantics transactional %P 535--548 %R 10.1145/1926385.1926447 %T Safe nondeterminism in a deterministic-by-default parallel language %U http://doi.acm.org/10.1145/1926385.1926447 %@ 978-1-4503-0490-0

@inproceedings{Bocchino:2011:SND:1926385.1926447, acmid = {1926447}, added-at = {2011-11-22T13:26:43.000+0100}, address = {New York, NY, USA}, author = {{Bocchino, Jr.}, Robert L. and Heumann, Stephen and Honarmand, Nima and Adve, Sarita V. and Adve, Vikram S. and Welc, Adam and Shpeisman, Tatiana}, biburl = {https://www.bibsonomy.org/bibtex/2fda82be95f3262060eb68b962a3611ff/gron}, booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, description = {Safe nondeterminism in a deterministic-by-default parallel language}, doi = {10.1145/1926385.1926447}, interhash = {6ade6a88ce73f9fc1a4d80b1a9efa781}, intrahash = {fda82be95f3262060eb68b962a3611ff}, isbn = {978-1-4503-0490-0}, keywords = {Nondeterministic formal java semantics transactional}, location = {Austin, Texas, USA}, numpages = {14}, pages = {535--548}, publisher = {ACM}, series = {POPL '11}, timestamp = {2011-11-22T13:26:43.000+0100}, title = {Safe nondeterminism in a deterministic-by-default parallel language}, url = {http://doi.acm.org/10.1145/1926385.1926447}, year = 2011 }