Relational thread-modular abstract interpretation under relaxed memory models

DOI10.1007/978-3-030-02768-1_6MaRDI QIDQ6166139zbMATH OpenOpenAlexFDO

Authors Thibault Suzanne, Antoine Miné

Publication date 2 August 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-02768-1_6

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Effective Abstractions for Verification under Relaxed Memory Models
• Effective abstractions for verification under relaxed memory models
• Relational thread-modular static value analysis by abstract interpretation
• Thread-modular analysis of release-acquire concurrency

Cited in

(7)

• Improving thread-modular abstract interpretation
• Thread-modular analysis of release-acquire concurrency
• Relational thread-modular static value analysis by abstract interpretation
• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Clustered relational thread-modular abstract interpretation with local traces
• Compositional reasoning for non-multicopy atomic architectures
• Effective abstractions for verification under relaxed memory models

This page was built for publication: Relational thread-modular abstract interpretation under relaxed memory models

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