Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
Abstract elided by the publisher.
Related papers
- Cage: Hardware-Accelerated Safe WebAssembly CGO 2025
- Permchecker: a toolchain for debugging memory managers with typestate OOPSLA 2021
- Safe and efficient hybrid memory management for Java ISMM 2015
- Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities OOPSLA 2022
- Arithmetizing Shape Analysis CAV 2025
- Oxidizing OCaml with Modal Memory Management ICFP 2024
- Efficient Parallel Functional Programming with Effects PLDI 2023
- Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language ISMM 2004