Learning to Decipher the Heap for Program Verification

Danny Tarlow, Microsoft Research, Cambridge
Tue 08 Sep 2015, 11:00 - 12:00
Informatics Forum (IF-4.31/4.33)

If you have a question about this talk, please contact: Mary-Clare Mackay (mmackay3)

Abstract to follow

 

http://www.cs.toronto.edu/~dtarlow/

This talk is part of the Informatics: Institute for Adaptive and Neural Computation (ANC) Workshops and ANC/DTC Seminars series