Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
No abstract available.
Related papers
- Compositional Quantum Control Flow with Efficient Compilation in Qunity OOPSLA 2025
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- Automatic Parallelism Management POPL 2024
- Interactive proofs in higher-order concurrent separation logic POPL 2017
- Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk) DLS 2023
- An infrastructure for dynamic optimization of parallel programs PPoPP 2012
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- Beyond parallel programming with domain specific languages PPoPP 2014