Succinct representation of concurrent trace sets

DOI10.1145/2676726.2677008MaRDI QIDQ2819829zbMATH OpenOpenAlexFDO

Authors Ashutosh Gupta, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach, Thomas A. Henzinger

Publication date 29 September 2016

Published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://repository.ist.ac.at/317/1/author_version.pdf

zbMATH Keywords

concurrent programsCEGARbug summarizationsynchronization synthesistrace generalization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Trace-based symbolic analysis for atomicity violations
• On interference abstractions
• Abstraction and mining of traces to explain concurrency bugs
• Abstraction-guided synthesis of synchronization
• Error invariants for concurrent traces

Cited in

(6)

• Automated synthesis of asynchronizations
• Sound concurrent traces for online monitoring
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Error invariants for concurrent traces
• On the synchronization of traces
• Abstraction and mining of traces to explain concurrency bugs

Describes a project that uses

Uses Software

• SatAbs
• RacerX
• Eraser
• CPAchecker
• z3

This page was built for publication: Succinct representation of concurrent trace sets

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