Diagnosing Abstraction Failure for Separation Logic-Based Analyses
Abstract elided by the publisher.
Related papers
- Low-overhead and fully automated statistical debugging with abstraction refinement OOPSLA 2016
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- WATCHER: in-situ failure diagnosis OOPSLA 2020
- Instrumentation and sampling strategies for cooperative concurrency bug isolation OOPSLA 2010
- Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions POPL 2026
- On abstraction refinement for program analyses in Datalog PLDI 2014
- Transfinite Iris: resolving an existential dilemma of step-indexed separation logic PLDI 2021
- Leveraging rust types for modular specification and verification OOPSLA 2019