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.

  • Marktoberdorf 2011 PhD school course on Separation Logic and Automatic Program Verification

    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.