On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
No abstract available.
Related papers
- Macros for domain-specific languages OOPSLA 2020
- A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing SLE 2022
- An intermediate language for source and target independent code optimization PLDI 1979
- MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age POPL 2025
- C2TACO: Lifting Tensor Code to TACO GPCE 2023
- Type-safe observable sharing in Haskell Haskell 2009
- Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types ECOOP 2022
- Annotating executable DSLs with energy estimation formulas SLE 2020