Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters
Abstract elided by the publisher.
Related papers
- Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors PPoPP 2012
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Pattern-Based Verification for Multithreaded Programs TOPLAS 2014
- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures CAV 2007
- Context-Bounded Verification of Context-Free Specifications POPL 2023
- Counters in Kappa: Semantics, Simulation, and Static Analysis ESOP 2019
- Fuzzy Array Dataflow Analysis PPoPP 1995
- Synchronisation Analysis to Stop Tulping ESOP 1998