Recent Research Talks

• Nov 14, 2005, Microsoft Research, 15 minutes
  "Compile-time Reflection" PowerPoint
   

• Nov 8, 2005, University of Tohoku, 60 minutes
  "Language Support for Fast and Reliable Message-based Communication in Singularity OS" PowerPoint
   

• June 23, 2005, Dagstuhl seminar on Types and Tools, 30 minutes
  "Static Prevention of Deadlock in Dynamically Configured Networks" PowerPoint

• June 30, 2005, Ecole Polytechnique Federal de Lausanne, 60 minutes
  "Static Prevention of Deadlock in Dynamically Configured Networks" PowerPoint
   

Older Research Talks

• Oct  30, 2003, OOPSLA'03 Anaheim, 20 minutes
  "Declaring and Checking Non-null Types in an Object-Oriented Language" PowerPoint
   

• Aug 27, 2003, Intel Research, Santa Clara, 1 hour
  "Vault and Beyond" PowerPoint
   

• Jul 22, 2003, International Workshop on Aliasing, Confinement, and Ownership, 20 minutes
  "Heap Monotonic Typestate" PowerPoint
   

• Jun 17, 2002, PLDI 2002, Berlin, 30 minutes
  "Adoption and Focus: Practical Linear Types for Imperative Programming" PowerPoint
   

• Jun 10, 2002, Workshop on Formal Techniques for Java like Programs, ECOOP, Malaga Spain
  "Non-null types in an object oriented language", 30 minutes PowerPoint
   

• Feb 11, 2002, Programming language seminar, UC Berkeley, 1 hour
  "Adoption and Focus: Practical Linear Types for Imperative Programming" PowerPoint
   

• Oct 5, 2001, NEPLS, Sun Microsystems, Burlington, MA, 30 minutes
  "Vault: Enforcing High-Level Protocols in Low-Level Software" PowerPoint
   

• Oct 1, 2001, MIT, 1 hour
  "Vault: Enforcing High-Level Protocols in Low-Level Software" PowerPoint
   

• Apr, 25, 2001, University of Washington, 1 hour
  "Set Constraint-Based Program Analysis" PowerPoint
   

• Apr, 10, 2001, MSR Cambridge, 1 hour
  "Vault: Detecting API Misuse at Compile-Time" 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

• Apr, 13, 1999, Dagstuhl Seminar on Program Analysis, 30 minutes
  "Scalable Implementation of Simple Set Constraints" PowerPoint