| Winter | | |
| [01/27/06] | Derek, Matthew and Wonseok | POPL Bytes: Short talks on selected papers from POPL'06 |
| [02/03/06] | Gökhan Memik | Impact of Application Characteristics and New Technologies on Processor Microarchitectures |
| [02/10/06] | Matthias Blume | Tutorial: continuations (code) |
| [02/17/06] | Aaron Turon | Lexing and parsing revisited: new front-end tools for Standard ML |
| [02/24/06] | Derek Dreyer | Tutorial: type soundness revisited - coinduction and indexed models |
| [03/03/06] | Wonseok Chae | MLPolyR: Functional Record Update & Extension (pdf) |
| Spring | | |
| [04/14/06] | Mike Rainey | Equality and Subtyping in Moby |
| [04/21/06] | Jacob Matthews | The Meaning of Multi-Language Programs |
| [04/28/06] | Adam Shaw | Modules and Type Classes |
| [05/05/06] | Matthew Hammer | On transforming standard programs into self-adjusting programs |
| [05/12/06] | George Kuan | A rewriting semantics for type inference |
| [05/26/06] | Paul Hovland | Implementation of Automatic Differentiation Tools |
| [06/02/06] | Jonathan Riehl | Assimilating MetaBorg: Embedding language tools in langauges |