Skip to main content

Attacking Large Industrial Code with Bi-Abductive Inference

Dino Distefano ( Queen Mary, University of London )

In joint work with Cristiano Calcagno, Peter O'Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs. This talk briefly surveys the key concepts and describes our experience in the application of bi-abduction to real-world applications and systems programs of over one million lines of code.

Share this: