Fine-Grained Complexity of Safety Verification
Abstract elided by the publisher.
Related papers
- Modular Safety Checking for Fine-Grained Concurrency SAS 2007
- CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System OOPSLA 2026
- Fine-Grained Caching of Verification Results CAV 2015
- RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly PLDI 2024
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Diaframe: automated verification of fine-grained concurrent programs in Iris PLDI 2022
- Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly OOPSLA 2024
- Mechanized verification of fine-grained concurrent programs PLDI 2015