Sept 3: Ruben Martins, practice talk for SAT paper
Sept 10: Valentin Wüstholz, Overview of Ph.D. thesis
Sept 17: Isil Dillig, practice run of FMCAD tutorial.
Sept 24: Oswaldo Olivo, practice talk for CCS paper.
Oct 1: Yu Feng, practice talk for OOPSLA.
Oct 8: Kostas Ferles, overview of M.Sc. thesis
Oct 15: Jacob Van Geffen, Product programs for secure information flow
Oct 22: Yuepeng Wang, Code search
Oct 29: Ahmet Celik, Bytecode Instrumentation with Soot
Nov 5: Arati Kaushik, Type-Directed Component Based Synthesis
Nov 12: Navid Yaghmazadeh, Synthesis of Tree Transformations