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

Parallel program performance prediction using deterministic task graph analysis., and . ACM Trans. Comput. Syst., 22 (1): 94-136 (2004)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)Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software., , , and . CoRR, (2021)Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL., , and . CoRR, (2022)ApproxHPVM: a portable compiler IR for accuracy-aware optimizations., , , , , , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 186:1-186:30 (2019)SAFECode: enforcing alias analysis for weakly typed languages., , and . PLDI, page 144-157. ACM, (2006)Comparison of Hardware and Software Cache Coherence Schemes., , , and . ISCA, page 298-308. ACM, (1991)Wok: statistical program slicing in production., , , and . ICSE (Companion Volume), page 324-325. IEEE / ACM, (2019)Vector LLVA: a virtual vector instruction set for media processing., and . VEE, page 46-56. ACM, (2006)Using likely invariants for automated software fault localization., , , and . ASPLOS, page 139-152. ACM, (2013)