Reasoning about Lock Placements
No abstract available.
DOI 10.1007/978-3-642-28869-2_17
Related papers
- Type-Safe Dynamic Placement with First-Class Placed Values OOPSLA 2023
- Reasoning about Java's Reentrant Locks APLAS 2008
- Reasoning About Threads Communicating via Locks CAV 2005
- Language-integrated privacy-aware distributed queries OOPSLA 2019
- Fair Operational Semantics PLDI 2023
- Concurrent Abstract Predicates ECOOP 2010
- Verifying Lock-Free Search Structure Templates ECOOP 2024
- Alembic: automatic locality extraction via migration OOPSLA 2014