Verifying a Compiler for Java Threads
Abstract elided by the publisher.
Related papers
- Atomicity Refinement for Verified Compilation TOPLAS 2014
- Atomicity refinement for verified compilation PLDI 2014
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Java performance evaluation through rigorous replay compilation OOPSLA 2008
- The apprentice challenge TOPLAS 2002
- Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler CGO 2006
- A type and effect system for atomicity PLDI 2003
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025