SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

DOI10.1007/978-3-642-00590-9_28MaRDI QIDQ3617716zbMATH OpenOpenAlexFDO

Authors Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

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)

Recommendations

• Atomizer: a dynamic atomicity checker for multithreaded programs
• Atomizer: A dynamic atomicity checker for multithreaded programs
• A type and effect system for determinism in multithreaded programs
• Modular verification of multithreaded programs
• scientific article; zbMATH DE number 1903353

Cited in

(14)

• Efficient detection of determinacy races in cilk programs
• SingleTrack
• Efficient data race detection for async-finish parallelism
• Multithreaded testing of program interfaces
• A type and effect system for determinism in multithreaded programs
• Underspecified harnesses and interleaved bugs
• Verifying robustness of event-driven asynchronous programs against concurrency
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Checking a Multithreaded Algorithm with  + CAL
• Symbolic predictive analysis for concurrent programs
• Automatic verification of determinism for structured parallel programs
• Dynamically checking ownership policies in concurrent C/C++ programs
• Scaling model checking of dataraces using dynamic information
• Atomizer: A dynamic atomicity checker for multithreaded programs

Describes a project that uses

Uses Software

• Atomizer
• Goldilocks
• Java Grande

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617716)