[PODELSKI] Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…)

Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the Work of Andreas Podelski (Video, PODELSKI)
Thomas Ball
(Microsoft Research)

Abstract: In 2000, Andreas Podelski visited Microsoft Research as Sriram Rajamani and I had just started the SLAM software model checking project. Andreas brought the good word about Abstract Interpretation to us, which helped us better understand the Boolean program abstraction we were creating. In my talk, I will survey the work we and Andreas did together and reflect on the many contributions to software model checking he made through the last quarter of a century.

Sponsored by ACM SIGPLAN,