Soundness of Data Flow Analyses for Weak Memory Models
Abstract elided by the publisher.
Related papers
- The virtues of conflict: analysing modern concurrency PPoPP 2016
- Soundness of Predictive Concurrency Analyses OOPSLA 2025
- Prescient memory: exposing weak memory model behavior by looking into the future ISMM 2016
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report ECOOP 2024
- Program Transformations in a Denotational Setting TOPLAS 1985
- DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses CC 2025
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021