Meta-analysis for Atomicity Violations under Nested Locking

DOI10.1007/978-3-642-02658-4_21MaRDI QIDQ3636865zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, Parthasarathy Madhusudan, F. Sorrentino

Publication date 30 June 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-02658-4_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• The Complexity of Predicting Atomicity Violations
• Trace-based symbolic analysis for atomicity violations
• Monitoring Atomicity in Concurrent Programs
• A criterion for atomicity
• Finding Concurrency-Related Bugs Using Random Isolation

Cited in

(8)

• A formal semantics of nested atomic sections with thread escape
• Model checking concurrent programs
• Language Strength Reduction
• Symbolic predictive analysis for concurrent programs
• Trace-based symbolic analysis for atomicity violations
• Automated Technology for Verification and Analysis
• Finding Concurrency-Related Bugs Using Random Isolation
• The Complexity of Predicting Atomicity Violations

This page was built for publication: Meta-analysis for Atomicity Violations under Nested Locking

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