SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
No abstract available.
Related papers
- Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs PLDI 2008
- Atomizer: a dynamic atomicity checker for multithreaded programs POPL 2004
- SharC: checking data sharing strategies for multithreaded C PLDI 2008
- A Modular Checker for Multithreaded Programs CAV 2002
- DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs CAV 2013
- A Type and Effect System for Determinism in Multithreaded Programs ESOP 2012
- Scaling model checking of dataraces using dynamic information PPoPP 2005
- Iterative context bounding for systematic testing of multithreaded programs PLDI 2007