Author of the publication

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.

, , , and . PPoPP, page 329-330. ACM, (2012)

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

Translation validation for an optimizing compiler.. PLDI, page 83-94. ACM, (2000)NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , and . PPoPP, page 329-330. ACM, (2012)Specifying and checking semantic atomicity for multithreaded programs., , and . ASPLOS, page 79-90. ACM, (2011)DetReduce: minimizing Android GUI test suites for regression testing., , , and . ICSE, page 445-455. ACM, (2018)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)XFI: Software Guards for System Address Spaces., , , , and . OSDI, page 75-88. USENIX Association, (2006)SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , and . OSDI, page 45-60. USENIX Association, (2006)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, volume 3923 of Lecture Notes in Computer Science, page 1. Springer, (2006)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)JVer: A Java Verifier., , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 144-147. Springer, (2005)