Proof-Directed Compilation for Inter-operable Languages
No abstract available.
Related papers
- Lightweight feedback-directed cross-module optimization CGO 2010
- Modular verification of a non-blocking stack POPL 2007
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- Proof-Directed De-compilation of Low-Level Code ESOP 2001
- ParDiff: Efficiently Parallelizing Reverse-Mode Automatic Differentiation with Direct Indexing PPoPP 2026
- Design and Implementation of Generics for the .NET Common Language Runtime PLDI 2001
- GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler OOPSLA 2025
- U-Turn: Enhancing Incorrectness Analysis by Reversing Direction POPL 2026