Memory Safety: Uniqueness as Separation
No abstract available.
Related papers
- Automatic safety proofs for asynchronous memory operations PPoPP 2011
- Functional Ownership through Fractional Uniqueness OOPSLA 2024
- Cogent: uniqueness types and certifying compilation JFP 2021
- CETS: compiler enforced temporal safety for C ISMM 2010
- Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory OOPSLA 2023
- Experience with safe manual memory-management in cyclone ISMM 2004
- cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications PLDI 2023
- Oxidizing OCaml with Modal Memory Management ICFP 2024