Modular shape analysis for dynamically encapsulated
programs
8-Oct-2007 GIF Seminar [ppt]
(50 mins.)
29-Mar-2007 ESOP'07:
16th European Symposium on Programming [ppt] (30 mins.)
Interprocedural shape analysis for cutpoint-free
programs
23-Jun-2005 Dagstuhl seminar
05251: Types for Tools: Applications of Type Theoretic Techniques [ppt]
22-May-2005 Joint verification day (Tel Aviv University) [ppt] (with a very short
introduction to interprocedural analysis)
A semantics for procedure local heaps and its
abstractions
10-Aug-2005 Summer
School Marktoberdorf 2005 (student's session) [ppt] (15 min.)
13-Jan-2005 POPL'05 [ppt] (30 min.)
10-Jan-2005 PL/SE Seminar (IBM WT.J. Watson research center) [ppt] (50 min.)
Interprocedural shape analysis for recursive programs
2-April-2001 CC '01 [ppt] (30 min.)