Reasoning about Java's Reentrant Locks
Abstract elided by the publisher.
Related papers
- Reasoning About Threads Communicating via Locks CAV 2005
- Reasoning about Lock Placements ESOP 2012
- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library ECOOP 2013
- Managing Reentrant Structures Using Reference Counts TOPLAS 1980
- Verifying correct usage of context-free API protocols POPL 2021
- Fair Operational Semantics PLDI 2023
- OoOJava: software out-of-order execution PPoPP 2011
- Concurrent Abstract Predicates ECOOP 2010