University of Birmingham > Talks@bham > Theoretical computer science seminar > A Voyage to the Deep-Heap

A Voyage to the Deep-Heap

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

  • UserDino Distefano, Queen Mary, University of London
  • ClockFriday 10 August 2012, 16:00-17:00
  • HouseCS 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.