MESA: Support for Scenario-Based Design of Concurrent Systems
No abstract available.
Related papers
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic TOPLAS 1984
- Lease/release: architectural support for scaling contended data structures PPoPP 2016
- Optimizing communication overlap for high-speed networks PPoPP 2007
- Implementing parallel and concurrent tree structures PPoPP 2019
- Sharded Elimination and Combining for Highly-Efficient Concurrent Stacks PPoPP 2026
- Speculative linearizability PLDI 2012
- Scenario-Based Proofs for Concurrent Objects OOPSLA 2024
- Exploring garbage collection with haswell hardware transactional memory ISMM 2014