SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

DOI10.1007/978-3-642-00590-9_28zbMath1234.68066OpenAlexW1605226475MaRDI QIDQ3617716

Caitlin Sadowski, Cormac Flanagan, Stephen N. Freund

Publication date: 31 March 2009

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_28

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (4)

Symbolic predictive analysis for concurrent programs ⋮ Efficient data race detection for async-finish parallelism ⋮ Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ⋮ SingleTrack

Uses Software

• Atomizer
• Goldilocks
• Java Grande

This page was built for publication: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs