Monitoring Atomicity in Concurrent Programs
Abstract elided by the publisher.
Related papers
- Fast Atomicity Monitoring PLDI 2026
- Sound, complete, and tractable linearizability monitoring for concurrent collections POPL 2018
- Monitoring refinement via symbolic reasoning PLDI 2015
- Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing OOPSLA 2006
- Instrumentation and sampling strategies for cooperative concurrency bug isolation OOPSLA 2010
- Transactional Monitors for Concurrent Objects ECOOP 2004
- Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures PLDI 2011
- Monitors and Concurrent Pascal: A Personal History HOPL 1993