From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
Abstract elided by the publisher.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Checking and Enforcing Robustness against TSO ESOP 2013
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024