Monitoring Atomicity in Concurrent Programs

DOI10.1007/978-3-540-70545-1_8zbMATH Open1155.68365OpenAlexW2165422215MaRDI QIDQ3512481FDOQ3512481

Authors: Azadeh Farzan, Parthasarathy Madhusudan 

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_8

Recommendations

• scientific article; zbMATH DE number 1023022
• scientific article; zbMATH DE number 4090776
• Concurrency and atomicity
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Automatic Mutual Exclusion and Atomicity Checks

Mathematics Subject Classification ID

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

Cited In (18)

• Strict linearizability and abstract atomicity
• Concurrency and atomicity
• Model Checking Software
• Automated synthesis of distributed controllers
• On the correctness problem for serializability
• Liveness-Preserving Atomicity Abstraction
• Symbolic predictive analysis for concurrent programs
• Sound concurrent traces for online monitoring
• Safety assurance via on-line monitoring
• Verifying robustness of event-driven asynchronous programs against concurrency
• On atomicity in presence of non-atomic writes
• Trace-based symbolic analysis for atomicity violations
• A criterion for atomicity
• On Distributed Monitoring and Synthesis
• Model checking database applications
• Finding Concurrency-Related Bugs Using Random Isolation
• The Complexity of Predicting Atomicity Violations
• Meta-analysis for Atomicity Violations under Nested Locking

This page was built for publication: Monitoring Atomicity in Concurrent Programs

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