When and Where
Every Friday 2pm at TTI-C
Why
Come to bounce ideas off, learn who is up to what, give and see talks.
2008-09 Schedule
| Spring | ||
| [4/03/09] | Fritz Henglein (DIKU) | What is a Sorting Function? |
| Derek Dreyer (MPI-SWS) | Logical Step-Indexed Logical Relations | |
| [4/17/09] | Jeffrey Mark Siskind (Purdue University) | Automatic Differentiation of Functional Programs and its use for Probabilistic Programming |
| Winter | ||
| [1/16/09] | John Reppy | The Manticore project |
| [1/23/09] | Jon Riehl | The SML NJ Extensible Front-end Design |
| [2/13/09] | Matthew Hammer | CEAL: A C-Based Language for Self-Adjusting Computation |
| [2/20/09] | Mike Rainey | Calling Variadic Functions from a Strongly-Typed Language |
| [2/27/09] | Lars Bergstrom | ML in Eclipse |
| [3/06/09] | George Kuan | Higher-order modules and separate compilation |
| [3/13/09] | Alan Jeffrey (Bell Labs) | Proving Programs Correct Using Java Types |
| Fall | ||
| [10/10/08] | Amal Ahmed | State-Dependent Representation Independence |
| [10/16/08] | Ranjit Jhala (UC San Diego) | Liquid Types |
| [10/17/08] | Jon Riehl | Implementing the MyFEM Embedded Domain-specifc Language |
| [10/24/08] | Matthew Fluet | A Cost Semantics for Self-Adjusting Computation |
| [11/07/08] | Amal Ahmed | All for Nothing: Gradual Typing with Polymorphism and Blame |
| [11/21/08] | Xinyu Feng | Local Rely-Guarantee Reasoning |
Mailing List
We have a PL-Lunch mailing-list.
Questions?
Talk to Amal Ahmed.