Atomizer: a dynamic atomicity checker for multithreaded programs

DOI10.1145/964001.964023MaRDI QIDQ3452265zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

atomicitydynamic analysisreduction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Atomizer: A dynamic atomicity checker for multithreaded programs
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
• scientific article; zbMATH DE number 1903353
• Modular verification of multithreaded programs
• scientific article; zbMATH DE number 2087551

Cited in

(13)

• Concurrent correctness in vector space
• Monitoring Atomicity in Concurrent Programs
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
• The Complexity of Predicting Atomicity Violations
• Lock-free atom garbage collection for multithreaded Prolog
• A dynamic logic for deductive verification of multi-threaded programs
• scientific article; zbMATH DE number 1834570 (Why is no real title available?)
• scientific article; zbMATH DE number 1903353 (Why is no real title available?)
• Strict linearizability and abstract atomicity
• Sound concurrent traces for online monitoring
• Opportunistic monitoring of multithreaded programs
• Atomizer: A dynamic atomicity checker for multithreaded programs

Describes a project that uses

Uses Software

• Atomizer

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)