| Date | Paper | Presenters |
| Jan 6 | Organizational meeting | |
| Jan 13 |
Flapjax: A Programming Language for Ajax Applications
Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi, OOPSLA09 |
Michael, Sam |
| Jan 20 |
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, and Jade Alglave, POPL09 |
Sigurd, Laura |
| Jan 27 |
Snugglebug: A Powerful Approach to Weakest Preconditions
Satish Chandra, Stephen J. Fink, and Manu Sridharan, PLDI09 |
Sai, Marius |
| Feb 3 |
Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, POPL2010 |
Tom, Gilbert |
| Feb 10 |
Dependent Types from Counterexamples
Tachio Terauchi, POPL2010 |
Todd, Colin |
| Feb 17 |
A type and effect system for deterministic parallel Java
Robert L. Bocchino, Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and Mohsen Vakilian, OOPSLA09 |
Joe, Reto |
| Feb 24 |
Integrating Typed and Untyped Code in a Scripting Language
Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Ostlund, and Jan Vitek, POPL10 |
Jonathan, Matt |
| Mar 3 |
The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, and Sebastian Burckhardt, OOPSLA09 |
Ben, Emily |
| Mar 10 |
Runtime Support for Multicore Haskell
Simon Marlow, Simon Peyton Jones, and Satnam Singh, ICFP09 |
Bartosz, Ethan |