Author of the publication

Safe nondeterminism in a deterministic-by-default parallel language

, , , , , , and . Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 535--548. New York, NY, USA, ACM, (2011)
DOI: 10.1145/1926385.1926447

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks., and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 306-332. Springer, (2011)Parallel SAH k-D tree construction., , , , , , and . High Performance Graphics, page 77-86. Eurographics Association, (2010)Vector LLVA: a virtual vector instruction set for media processing., and . VEE, page 46-56. ACM, (2006)Safe nondeterminism in a deterministic-by-default parallel language, , , , , , and . Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 535--548. New York, NY, USA, ACM, (2011)An effect system and language for deterministic-by-default parallel programming. University of Illinois Urbana-Champaign, USA, (2010)Deterministic Parallel Java.. Encyclopedia of Parallel Computing, Springer, (2011)Inferring Method Effect Summaries for Nested Heap Regions., , , , , and . ASE, page 421-432. IEEE Computer Society, (2009)The Future of Aliasing in Parallel Programming.. Aliasing in Object-Oriented Programming, volume 7850 of Lecture Notes in Computer Science, Springer, (2013)Alias Control for Deterministic Parallelism.. Aliasing in Object-Oriented Programming, volume 7850 of Lecture Notes in Computer Science, Springer, (2013)Safe nondeterminism in a deterministic-by-default parallel language., , , , , , and . POPL, page 535-548. ACM, (2011)