A Portable and Optimizing Back End for the SML/NJ Compiler
Abstract elided by the publisher.
Related papers
- A portable optimizing compiler for Modula-2 PLDI 1984
- A provably sound TAL for back-end optimization PLDI 2003
- TPDE: A Fast Adaptable Compiler Back-End Framework CGO 2026
- Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-in-Time Compilation CGO 2025
- MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL CC 2023
- Divergence-Aware Testing of Graphics Shader Compiler Back-Ends PLDI 2025
- Automatically generating instruction selectors using declarative machine descriptions POPL 2010
- ApproxHPVM: a portable compiler IR for accuracy-aware optimizations OOPSLA 2019