Trace-based symbolic analysis for atomicity violations

DOI10.1007/978-3-642-12002-2_27MaRDI QIDQ3557086zbMATH OpenOpenAlexFDO

Authors Chao Wang, Rhishikesh Limaye, Aarti Gupta, Malay K. Ganai

Publication date 27 April 2010

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12002-2_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The Complexity of Predicting Atomicity Violations
• Meta-analysis for Atomicity Violations under Nested Locking
• Symbolic predictive analysis for concurrent programs
• Monitoring Atomicity in Concurrent Programs
• Detecting errors in multithreaded programs by generalized predictive analysis of executions

Cited in

(10)

• Dynamic symbolic verification of MPI programs
• Root causing linearizability violations
• Error invariants for concurrent traces
• Succinct representation of concurrent trace sets
• Model checking concurrent programs
• The Complexity of Predicting Atomicity Violations
• Meta-analysis for Atomicity Violations under Nested Locking
• Symbolic predictive analysis for concurrent programs
• Detecting errors in multithreaded programs by generalized predictive analysis of executions
• Abstraction and mining of traces to explain concurrency bugs

Describes a project that uses

Uses Software

• SingleTrack
• Atomizer
• Velodrome

This page was built for publication: Trace-based symbolic analysis for atomicity violations

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