Using abstract interpretation to correct synchronization faults

DOI10.1007/978-3-319-52234-0_11MaRDI QIDQ2961562zbMATH OpenOpenAlexFDO

Authors Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Publication date 21 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52234-0_11

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Abstract interpretation of an object calculus for synchronization optimizations
• scientific article; zbMATH DE number 2104620
• Abstraction-guided synthesis of synchronization
• On interference abstractions
• Abstract interpretation with unfoldings

Cites work

• A shape analysis for optimizing parallel graph programs
• Abstract interpretation and application to logic programs
• Elastic Transactions
• Grammar Analysis and Parsing by Abstract Interpretation
• Semantics of concurrent revisions

Cited in

(2)

• scientific article; zbMATH DE number 2104620 (Why is no real title available?)
• Abstract interpretation of an object calculus for synchronization optimizations

Describes a project that uses

Uses Software

• Autolocker

This page was built for publication: Using abstract interpretation to correct synchronization faults

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