Reasoning About Threads Communicating via Locks
Abstract elided by the publisher.
Related papers
- Fair Operational Semantics PLDI 2023
- Local Reasoning for Storable Locks and Threads APLAS 2007
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Cooperative reasoning for preemptive execution PPoPP 2011
- Reasoning about Java's Reentrant Locks APLAS 2008
- Reasoning about Lock Placements ESOP 2012
- The transactional manifesto: software engineering and non-blocking synchronization PLDI 2005
- A program logic for concurrent objects under fair scheduling POPL 2016