PIL: A Platform Independent Language for Retargetable DSLs
Abstract elided by the publisher.
Related papers
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code POPL 2011
- A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects SLE 2023
- PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols CAV 1999
- C2TACO: Lifting Tensor Code to TACO GPCE 2023
- Retargetable and Reconfigurable Software Dynamic Translation CGO 2003
- On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components GPCE 2004
- Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures CGO 2025
- The Design and Application of a Retargetable Peephole Optimizer TOPLAS 1980