## 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.

LOPSTR Invited Talk, July 2008, Valencia.
Short paper in the LOPSTR Proceedings

Proof Procedures for Separated Heap Abstractions

Invited talk at SMT'07, Berlin.

Separation Logic and Program Analysis

Invited talk at SAS'06, Seoul.

Resources, Concurrency and Local Reasoning

Invited talk at ETAPS'04, Barcelona. Also given at CONCUR'04 and MFPS'06

Local Reasoning about Programs that Alter Data Structures.

Invited talk at CSL'01.

Semantics of Storage

Invited Lecture, MFPS00, Hoboken NJ.