Deriving Compilers and Virtual Machines for a Multi-level Language
No abstract available.
Related papers
- Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers CGO 2020
- A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework ECOOP 2025
- End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT CAV 2024
- Compiling for multi-language task migration DLS 2015
- The JavaScriptCore virtual machine (invited talk) DLS 2017
- Exploring multi-threaded Java application performance on multicore hardware OOPSLA 2012
- End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers CAV 2022
- A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing CGO 2011