Synchronisation Analysis to Stop Tulping
Abstract elided by the publisher.
Related papers
- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters CAV 2012
- Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software SLE 2011
- Dynamic deadlock verification for general barrier synchronisation PPoPP 2015
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018
- Dynamic Deadlock Verification for General Barrier Synchronisation TOPLAS 2019
- Dynamic race detection for C++11 POPL 2017
- Ownership Types for Object Synchronisation APLAS 2012