From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
Abstract elided by the publisher.
Related papers
- Compiling Standard ML to Java Bytecodes ICFP 1998
- Type-Safe Optimisation of Plugin Architectures SAS 2005
- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation CC 2015
- Safe optimisations for shared-memory concurrent programs PLDI 2011
- Pydrofoil: Accelerating Sail-Based Instruction Set Simulators ECOOP 2025
- r3d3: Optimized Query Compilation on GPUs CGO 2021
- Automatically comparing memory consistency models POPL 2017
- Selective Traceability for Rule-Based Model-to-Model Transformations SLE 2022