Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
No abstract available.
Related papers
- Safe optimisations for shared-memory concurrent programs PLDI 2011
- Local algebraic effect theories JFP 2020
- Selective Traceability for Rule-Based Model-to-Model Transformations SLE 2022
- An adaptive memory conscious approach for mining frequent trees: implications for multi-core architectures PPoPP 2008
- Performance implications of dynamic memory allocators on transactional memory systems PPoPP 2015
- Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it POPL 2015
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Tail Modulo Async-Await ICFP 2026