Diagnosing Abstraction Failure for Separation Logic-Based Analyses.

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Browse the full CAV paper archive.