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

gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis., , , , , , and . DSN, page 214-221. IEEE, (2019)Lifetime Reliability: Toward an Architectural Solution, , , and . IEEE Micro, 25 (3): 70-80 (2005)An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors., , , and . ASPLOS, page 12-23. ACM Press, (1996)An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors., , , and . HPCA, page 204-215. IEEE Computer Society, (1997)A Comparison of Entry Consistency and Lazy Release Consistency Implementations., , , , and . HPCA, page 26-37. IEEE Computer Society, (1996)DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism., , , , , , , , and . PACT, page 155-166. IEEE Computer Society, (2011)POSTER: hVISC: A Portable Abstraction for Heterogeneous Parallel Systems., , , , , and . PACT, page 443-445. ACM, (2016)CrashTest'ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions., , , , , , , , and . DATE, page 1106-1109. IEEE, (2012)Foundations of the C++ concurrency memory model., and . PLDI, page 68-78. ACM, (2008)ILLIXR: Enabling End-to-End Extended Reality Research., , , , , , , , , and 4 other author(s). IISWC, page 24-38. IEEE, (2021)