Atomizer: a dynamic atomicity checker for multithreaded programs
DOI10.1145/964001.964023zbMATH Open1325.68064OpenAlexW2082766667MaRDI QIDQ3452265FDOQ3452265
Authors: Cormac Flanagan, Stephen N. Freund 
Publication date: 11 November 2015
Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/964001.964023
Recommendations
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (13)
- Opportunistic monitoring of multithreaded programs
- Title not available (Why is that?)
- Concurrent correctness in vector space
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- Sound concurrent traces for online monitoring
- Atomizer: A dynamic atomicity checker for multithreaded programs
- Title not available (Why is that?)
- A dynamic logic for deductive verification of multi-threaded programs
- Strict Linearizability and Abstract Atomicity
- Monitoring Atomicity in Concurrent Programs
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Lock-free atom garbage collection for multithreaded Prolog
- The Complexity of Predicting Atomicity Violations
Uses Software
This page was built for publication: Atomizer: a dynamic atomicity checker for multithreaded programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452265)
