Selected Talks
Formal Reasoning and the Hacker Way
(
pdf version
)
Talk at FLoc'18 workshop on Formal Methods in Industry
CAV'15 invited talk on deploying program analysis at Facebook.
Program Logic and Analysis.
Programming Languages Mentoring Workshop, POPL'13, Rome, Jan 2013
Tutoral on Separation Logic.
POPL'12 tutorial, Philadelphia, Jan 2012.
Also given at: CAV'08, ICLP'08.
Algebra, Logic, Locality, Concurrency.
APLAS/CPP joint invited talk, Kenting, Taiwan, December 2011.
Reasoning about Programs using a Scientific Method.
ICFEM invited talk, Durham, October 2011.
Lectures on Separation Logic.
Marktoberdorf 2011 PhD summer school course.
Space Invading Systems Code.
Proof Procedures for Separated Heap Abstractions
Separation Logic and Program Analysis
Resources, Concurrency and Local Reasoning
Local Reasoning about Programs that Alter Data Structures.
Semantics of Storage
LOPSTR Invited Talk, July 2008, Valencia.
Short paper in the LOPSTR Proceedings
Invited talk at SMT'07, Berlin.
Invited talk at SAS'06, Seoul.
Invited talk at ETAPS'04, Barcelona. Also given at CONCUR'04 and MFPS'06
Invited talk at CSL'01.
Invited Lecture, MFPS00, Hoboken NJ.