Resource Protection Using Atomics - Patterns and Verification
No abstract available.
Related papers
- Transactional memory with strong atomicity using off-the-shelf memory protection hardware PPoPP 2009
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- Robust and compositional verification of object capability patterns OOPSLA 2017
- From program verification to program synthesis POPL 2010
- Hybrid transactional memory PPoPP 2006
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Dynamic atomicity: optimizing swift memory management DLS 2017
- A data-centric approach to synchronization TOPLAS 2012