Transactional Memory: Glimmer of a Theory
No abstract available.
Related papers
- Parameterized verification of transactional memories PLDI 2010
- Coarse-grained transactions POPL 2010
- Checking Robustness Against Snapshot Isolation CAV 2019
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses CAV 2008
- Software Transactional Memory on Relaxed Memory Models CAV 2009
- Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory PPoPP 2008
- Proving Isolation Properties for Software Transactional Memory ESOP 2011
- Atomic Boxes: Coordinated Exception Handling with Transactional Memory ECOOP 2011