A Voyage to the Deep-Heap
No abstract available.
Related papers
- Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK TOPLAS 2022
- Newly-single and loving it: improving higher-order must-alias analysis with heap fragments ICFP 2021
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- No bit left behind: the limits of heap data compression ISMM 2008
- GCspy: an adaptable heap visualisation framework OOPSLA 2002
- Certifying graph-manipulating C programs via localizations within data structures OOPSLA 2019
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) ECOOP 2019