Author of the publication

Lightweight Data Race Detection for Production Runs

, , , , and . Proceedings of the 26th International Conference on Compiler Construction, page 11--21. ACM, (2017)
DOI: 10.1145/3033019.3033020

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

Low-overhead software transactional memory with progress guarantees and strong semantics., , , and . PPOPP, page 97-108. ACM, (2015)Valor: efficient, software-only region conflict exceptions., , , and . OOPSLA, page 241-259. ACM, (2015)Leak pruning., and . ASPLOS, page 277-288. ACM, (2009)Efficient, context-sensitive detection of real-world semantic attacks., , , and . PLAS, page 1. ACM, (2010)High-coverage, unbounded sound predictive race detection., , and . PLDI, page 374-389. ACM, (2018)Rethinking Support for Region Conflict Exceptions., , , and . IPDPS, page 1095-1106. IEEE, (2019)Legato: end-to-end bounded region serializability using commodity hardware transactional memory., , , and . CGO, page 1-13. ACM, (2017)High-coverage, Unbounded Sound Predictive Race Detection, , and . Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 374--389. ACM, (2018)Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization., , , and . PPPJ, page 65-75. ACM, (2015)Correcting the Dynamic Call Graph Using Control-Flow Constraints., , , and . CC, volume 4420 of Lecture Notes in Computer Science, page 80-95. Springer, (2007)