| Date | Paper/Topic | Discussion Leader |
| Jan 24th | Topic Selection (ESOP'07 POPL'07 OOPSLA'06 OSDI'06) | All |
| Jan 31st | Hallgren, Jones, Leslie, Tolmach, A principled approach to operating system construction in Haskell (ICFP'05) | Swaroop |
| Feb 7th | Northrup, Scale Changes Everything (OOPSLA'06 Keynote) | David |
| Feb 14th | Milicia,Sassone, The Inheritance Anomaly: ten years after (SAC'04) Matsuoka, Yonezawa, Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Language |
Xiaoqi |
| Feb 21st | Bacon, Strom, Tarafdar, Guava: A Dialect of Java without Data Races (OOPSLA'00) | David |
| Mar 7th | Polishchuk, Liblit, Schulze, Dynamic Heap Type Inference for Program Understanding and Debugging (POPL'07) | Pari |
| Mar 21st | Barthe, Pichardie, Rezk. A Certified Lightweight Non-Interference Java Bytecode Verifier (ESOP'07) | Mark |
| April 4th | Bisimulation and CCS tutorial - Nadia Busi: Process algebras, bisimulation (and logics) (TIC 06) | Scott |
| April 11th | Titzer, Virgil: Objects on Head of a Pin (OOPSLA'06) | David |
| Apr 18th | Flanagan, Hybrid Type Checking (POPL'06) [Slides] | Pari |
| Apr 25th | Agha, Mason, Smith, Talcott, A Foundation for Actor Computation (JFP'97) | Xiaoqi and Scott |
| May 2nd | Gargano, Hillebrand, Leinenbach, Paul, On the Correctness of Operating System Kernels | Swaroop |
| Sept 12th | Organizational Meeting (PLDI'07, ECOOP'07, FSE'07, ICFP'07, APLAS'07) | All |
| Sept 19th | Leiserson, Multithreaded Programming in Cilk | Scott |
| Sept 26th | Henzinger et al, Path Invariants (PLDI'07) [Slides] | Pari |
| Oct. 3rd 10am | Ph.D. defense, End-to-End Information Flow Security for Java (in Shaffer 2) | Mark |
| Oct 10th | Fahndrich, DeLine, Adoption and Focus: Practical Linear Types for Imperative Programming (PLDI'02) Also Slides | Swaroop |
| Oct 17th | Task Parallel Libary | Hari |
| Oct 24th | No seminar | |
| Oct 31st | Biocomputing: slides; paper | Scott |
| Nov 7th | Newton, Morrisett, Welsh, The Regiment Macroprogramming System (IPSN'07) | David |
| Nov 14th 10am | Ph.D. Defense | Xiaoqi |
| Nov 21st | Dry Run, The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification (APLAS'07) [slides] | Pari |
| Nov 28th | Chu, Popa, Tavakoli, Hellerstein, Levis, Shenker, Stoica. The Design and Implementation of A Declarative Sensor Network System (Sensys'07) |
David |