1. • Semantics of Higher-Order Probabilistic Programs with Continuous Distributions
   

   3-hour Lecture at the 1st School on Foundations of Programming and Software Systems. Probabilistic Programming.

   Vila Verde, Portugal, May 2017.

1. • Semantics of Higher-order Probabilistic Programs
   

   Presentation at the Workshop on Probabilistic Programming Semantics 2016

   Florida, USA, January 2016.

1. • Probabilistic Programming
   

   Invited Talk at APLAS 2015

   Pohang, South Korea, December 2015.

1. • Reasoning About Consistency Choices in Distributed Systems
   

   Presentation at the Imperial Concurrency Workshop 2015

   Imperial College, London, UK, July 2015.

1. • Program Transformation for Probabilistic Programs
   

   Presentation at the Workshop "Probabilistic Programming" in the DALI 2015 - Data, Learning and Inference

   La Palma, Spain, April 2015.

1. • Replicated Data Types: Specification, Verification, Optimality
   

   Presentation at the Workshop "Certification of high-level and low-level programs"

   IHP, Paris, France, July 2014.

   The slides focus on a shopping-cart example and a coarse-grained semantics.

1. • How to Find a Good Program Abstraction Automatically?
   

   Distinguished Lecture, MPI for Software Systems, Germany, March 2014.

1. • A Few Lessons That I Learnt About Interprocedural Analyses
   

   Presentation at Cambridge Logic and Semantics Seminar, June 2013.

1. • Understanding Eventual Consistency
   

   Presentation at Oxford Information System Seminar, February 2013.

   Alexey Gotsman's slides with very minor modifications.

1. • Linearizability with Ownership Transfer
   

   Paper presentation at CONCUR 2013, Newcastle, UK, September 2012.

1. • Lessons That I Learned About Linearizability
   

   Talk at Technion, Israel, March 2012.

1. • Abstractions from Tests
   

   Paper presentation at POPL 2012, Philadelphia, US, January 2012.

1. •Program Analysis for Overlaid Data Structures 
   

   Talk at MSR-Redmond, US, December 2010.

1. •Abstraction for Concurrent Objects
   

   Concurrency Theory Workshop: Reasoning about Separation, Resource,

   Interference, Atomicity, OWHY. London, UK, January 2009.

   The slides from my talk on the same topic in ESOP 2009 are available here.

1. •Separation Logic for Higher-order Programs
   

   (Lecture 1, Lecture 2)

   Invited Lectures at Ph.D. School on Logics and Semantics of State,

   Copenhagen, Denmark, October 2008.

• Local Reasoning for RCU

   Workshop talk at HAV 2008,  Princeton, US, July 2008.

• Scalable Shape Analysis for Systems Code

   Paper presentation at CAV 2008,  Princeton, US, July 2008.

1. •Program Verification using Separation Logic
   

   (Lecture 0, Lecture 1, Lecture 2, Lecture 3)

   Invited Lectures at Microsoft Summer School,  Bangalore, India, June 2008.

• Relational Parametricity and Separation Logic

   Paper presentation at FOSSACS 2007,  Braga, Portugal, March 2007.

• Footprint Analysis: A Shape Analysis that Discovers Preconditions

   Invited talk at HAV 2007, Braga, Portugal, March 2007.

• Towards Shape Analysis for Device Drivers

   Invited talk at VMCAI 2007, Nice, France, January 2007.

• Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

   Invited talk at SAS 2006, Seoul, Korea, August 2006.

• Towards proper understanding of interprocedural analyses,

   Weekly talk in ROPAS, Korea, Feburary 2005.

• Towards a General Theory of Local Actions

   Weekly talk in ROPAS, Korea, October 2004.

• Automatic Verification of Pointer Programs Using Grammar-based Shape Analysis

   Talk at the IT University of Copenhagen, Denmark, October 2004.

• Techniques for proving the completeness of a proof system

   LiComR seminar, Korea, July 2004.

• Soundness of Higher-order Frame Rules

   Weekly talk in ROPAS, Korea, May 2004.

• Tutorial on Widening and Narrowing

   Weekly talk in ROPAS, Korea, March 2004.

• Separation and Information Hiding

   Talk at POPL 2004, Venice, Italy, January 2004.

• Verification of Schorr-Waite Graph Marking Algorithm by Refinement

   Talk at Pointerfest, London, UK, August 2002.