Overview
TPLS is the Theory B seminar and reading group at Cornell. Every week, we read and discuss a paper that has something to do with programming language theory, logic, or semantics of systems. This page contains scheduling information, including links to the papers we will be reading.
Mailing list
Sign up for the TPLS mailing list by sending an empty e-mail with subject "join" to [point here] .Schedule
| Date | Title | Author(s) | Discussion Leader(s) |
|---|---|---|---|
| September 15, 2015 | Another advantage of free choice: Completely asynchronous agreement protocols | Michael Ben-Or | Andrew K. Hirsch |
| September 22, 2015 | A Calculus for Relaxed Memory | Karl Crary and Michael J. Sullivan | Matthew Milano |
| September 29, 2015 | - | - | - |
| October 6, 2015 | Blame for All | A. Ahmed, R. B. Findler, J. G. Siek, P. Wadler | Fabian Muehlboeck |
| October 13, 2015 | Fall Break | - | - |
| October 20, 2015 | - | - | - |
| October 27, 2015 | Choreographies, Computationally | Luis Cruz-Filipe and Fabrizio Montesi | Andrew K. Hirsch |
| November 3, 2015 | Distributed Games and Strategies | Glynn Winskel | Xiang Long |
| November 10, 2015 | Is Sound Gradual Typing Dead? | A. Takikawa, D. Feltey, B. Greenman, M. S. New, J. Vitek, M. Felleisen | Fabian Muehlboeck |
| November 17, 2015 | PLDI Deadline | - | - |
| November 24, 2015 | Thanksgiving | - | - |
| December 1, 2015 | Monadic Abstract Interpreters | I. Sergey, D. Devriese, M. Might, J. Midtgaard, D. Darais, D. Clarke, F. Piessens | Andrew K. Hirsch |
| December 8, 2015 | Dependent Types and Multi-Monadic Effects in F* | N. Swamy, C. Hritcu, C. Keller, A. Rastogi, A. Delignat-Lavaud, S. Forest, K. Bhargavan, C. Fournet, P. Strub, M. Kohlweiss, J. Zinzindohoue, S. Zanella-Beguelin | Owen Arden |