Feb, 11, 2002 University of California at Berkeley, 1 hour
"Adoption and Focus: Practical Linear Types for Imperative Programming" PowerPoint
Oct, 1, 2001, MIT, 1 hour
"VAULT: Checking High-level Protocols in Low-level Software" PowerPoint
Feb, 22, 2001, Microsoft Research, PPRC monthly meeting, 20 minutes
"Put it in the Vault: Finding API misuses at Compile Time" PowerPoint
Jan 30, 2001, Ecole Polytechnique Federal de Lausanne, Switzerland, 1 hour
"Vault: A Safe Language for Reliable Software" PowerPoint
Nov, 1, 2000, Carnegie Mellon University, 1 hour
"Vault: A Safe Language for Reliable Software" PowerPoint