Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
No abstract available.
Related papers
- Iterative context bounding for systematic testing of multithreaded programs PLDI 2007
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Pointer Analysis for Multithreaded Programs PLDI 1999
- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters CAV 2012
- Context-Bounded Verification of Context-Free Specifications POPL 2023
- Pointer analysis for structured parallel programs TOPLAS 2003