Atomizer: A dynamic atomicity checker for multithreaded programs
From MaRDI portal
Publication:924672
DOI10.1016/j.scico.2007.12.001zbMath1146.68350OpenAlexW2071423705MaRDI QIDQ924672
Cormac Flanagan, Stephen N. Freund
Publication date: 19 May 2008
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2007.12.001
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (7)
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability ⋮ Symbolic predictive analysis for concurrent programs ⋮ Dependence analysis for safe futures ⋮ Verification of STM on relaxed memory models ⋮ Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency ⋮ Adaptive locks: combining transactions and locks for efficient concurrency ⋮ Trace-based derivation of a scalable lock-free stack algorithm
Uses Software
This page was built for publication: Atomizer: A dynamic atomicity checker for multithreaded programs
