A Voyage to the Deep-Heap

Add to your list(s) Download to your calendar using vCal

• Dino Distefano, Queen Mary, University of London
• Friday 10 August 2012, 16:00-17:00
• CS 217.

If you have a question about this talk, please contact Paul Levy.

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.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• CS 217
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.