Resilient verification for optimistic concurrent algorithms
3-Sep-2009
Design and Validation of Concurrent Systems
[pdf]
20-July-2009
Typing, Analysis and Verification of Heap-Manipulating Programs
[pdf]
Sequential verification for serializability
20-July-2009
Typing, Analysis and Verification of Heap-Manipulating Programs
[pdf]
Verifying optimistic concurrent algorithms should be easy!
20-July-2009
Typing, Analysis and Verification of Heap-Manipulating Programs
[pdf]
27-June-2009
Exploiting Concurrency Efficiently and Correctly -- EC2'09
[pdf]
10-June-2009
Bornatfest: Workshop on "Proving the Programs that People Write"
[pdf]
[keynote (zipped)]
(40 mins.)
Abstraction for concurrent objects
12-May-2009 UK-Israel Bi-National Workshop '09: UK-Israel Bi-National Workshop
Verification of Infinite-State Systems
[pdf]
[keynote (zipped)]
(40 mins.)
Modular verification with shared abstractions
24-Jan-2009 FOOL '09: 2009 International Workshop on
Foundations of Object-Oriented Languages
[html]
[flash]
[pdf]
[keynote (zipped)]
(35 mins.)
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 T.J. Watson Research Center) [ppt] (50 min.)
Interprocedural shape analysis for recursive programs
2-Apr-2001 CC '01 [ppt] (30 min.)