The program consists of a series of 32 lectures including foundational theory, advanced techiniques and practical applications. The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions. The lectures start at 9:00 am and go until 5:00 pm with a 2 hour break for lunch and a 15 minute break between sessions.


Morning Afternoon
Session 1 Session 2 Session 1 Session 2
WED 7/18 Foster Grossman Liblit Taha
THR 7/19 Foster Liblit Taha Das
FRI 7/20 Liblit Taha Yang Smaragdakis
SAT 7/21 Wang Smaragdakis    
MON 7/23 Smaragdakis Su August Møller
TUE 7/24 Su August Møller Panel
WED 7/25 August Møller Fisher Grossman
THR 7/26 Su Fisher Grossman Fisher

Jeff Foster Understanding Multilingual Software
Dan Grossman Types for Safe C-Level Programming
Ben Liblit Statistical Debugging
Walid Taha Staged Programming
Manuvir Das
Daniel Wang
Zhe Yang
Scalable Defect Detection
Yannis Smaragdakis Programming Models for Distributed Computing
Zhendong Su Web and Database Application Security
David August
Frances Perry
Fault Tolerant Computing
Anders Møller XML and Web Application Programming
Kathleen Fisher Typing Ad Hoc Data


  Map of the area  
  Contact: summerschool at