Thread-Modular Verification for Shared-Memory Programs
Abstract elided by the publisher.
Related papers
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Modular verification of a non-blocking stack POPL 2007
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution) TACAS 2021
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Raven: An SMT-Based Concurrency Verifier CAV 2025
- Automated Modular Verification for Relaxed Communication Protocols APLAS 2018