DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages
No abstract available.
Related papers
- DRFX: a simple and efficient memory model for concurrent programming languages PLDI 2010
- Armada: low-effort verification of high-performance concurrent programs PLDI 2020
- Distill: Domain-Specific Compilation for Cognitive Models CGO 2022
- Low-overhead software transactional memory with progress guarantees and strong semantics PPoPP 2015
- Scheduling parallel programs by work stealing with private deques PPoPP 2013
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
- A Verified High-Performance Composable Object Library for Remote Direct Memory Access POPL 2026
- Rust as a language for high performance GC implementation ISMM 2016