Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
Abstract elided by the publisher.
Related papers
- Meta-analysis for Atomicity Violations under Nested Locking CAV 2009
- Semantic Locking in Object-Oriented Database Systems OOPSLA 1994
- Open nesting in software transactional memory PPoPP 2007
- McRT-STM: a high performance software transactional memory system for a multi-core runtime PPoPP 2006
- Compiler and runtime support for efficient software transactional memory PLDI 2006
- Supporting lock-free composition of concurrent data objects PPoPP 2010
- Composing First-Class Transactions TOPLAS 1994
- Hybrid STM/HTM for nested transactions on OpenJDK OOPSLA 2016