Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
No abstract available.
Related papers
- Taking Back Control in an Intermediate Representation for GPU Computing POPL 2023
- High-performance cross-language interoperability in a multi-language runtime DLS 2015
- Progressive Raising in Multi-level IR CGO 2021
- Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing OOPSLA 2025
- Cross-Language Interoperability in a Multi-Language Runtime TOPLAS 2018
- Synthesis of Quantum Simulators by Compilation CGO 2025
- Formal Verification of an SSA-Based Middle-End for CompCert TOPLAS 2014
- LLHD: a multi-level intermediate representation for hardware description languages PLDI 2020