menu

School of Electronic Engineering and Computer Science

News & Events menu

A Voyage to the Deep-Heap

event image

18 May 2012

Time: 11:00am - 12:30pm
Venue: Engineering Building Engineering Building Queen Mary, University of London Mile End London E1 4NSThis talk is the diary of a journey that brought the theoretical advances of Separation Logic all the way to a commercial static analyzer.

This talk is the diary of a journey that brought the theoretical advances of Separation Logic all the way to a commercial static analyzer. It reports on some of the key insights which made this journey possible. It reviews the difficulties we have encountered along the way, the present status, and some of the challenges that remain open.

I have shared this journey with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang.

Return to top