Modular Safety Checking for Fine-Grained Concurrency
No abstract available.
Related papers
- Expressive modular fine-grained concurrency specification POPL 2011
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Mechanized verification of a fine-grained concurrent queue from meta's folly library CPP 2022
- Deriving linearizable fine-grained concurrent objects PLDI 2008
- Fine-Grained Complexity of Safety Verification TACAS 2018
- Modular control-flow integrity PLDI 2014
- Communicating State Transition Systems for Fine-Grained Concurrent Resources ESOP 2014
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency ICFP 2013