Inserting Safe Memory Re-use Commands into ML-like Programs
No abstract available.
Related papers
- Inserting Safe Memory Reuse Commands into ML-Like Programs SAS 2003
- Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs ISMM 2004
- Safe privatization in transactional memory PPoPP 2018
- Row Replacement Algorithms for Screen Editors TOPLAS 1989
- GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing CGO 2025
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- The CLOSER: automating resource management in java ISMM 2008
- A type system for extracting functional specifications from memory-safe imperative programs OOPSLA 2021