Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
Abstract elided by the publisher.
Related papers
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction ECOOP 2024
- Practical lock/unlock pairing for concurrent programs CGO 2013
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Intertwined Forward-Backward Reachability Analysis Using Interpolants TACAS 2013