Talks
Talk at MSR-Redmond, US, December 2010.
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.
-
•Separation Logic for Higher-order Programs,
Invited Lectures at Ph.D. School on Logics and Semantics of State,
Copenhagen, Denmark, October 2008.
Workshop talk at HAV 2008, Princeton, US, July 2008.
• Scalable Shape Analysis for Systems Code,
Paper presentation at CAV 2008, Princeton, US, July 2008.
-
•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.