Modular Verification of Concurrent Thread Management
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
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Thread modularity at many levels: a pearl in compositional verification POPL 2017
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Modular Termination Verification of Single-Threaded and Multithreaded Programs TOPLAS 2018
- Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic OOPSLA 2023
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017