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) |
---|---|---|---|
January 29, 2016 | 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems | A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro | Matthew Milano |
Feburary 5, 2016 | Algebra-Coalgebra Duality in Brzozowski’s Minimization Algorithm | F. Bonchi, M.M. Bonsangue, H.H. Hansen, P. Panangaden, J.J.M.M. Rutten, A. Silva | Steffen Smolka |
Feburary 12, 2016 | Comonadic Notions of Computation | Tarmo Uustalu and Varmo Vene | Andrew K. Hirsch |
Feburary 19, 2016 | Refined Criteria for Gradual Typing | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland | Fabian Muehlboeck |
Feburary 26, 2016 | Stop When You Are Almost-Full: Adventures in Constructive | Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt | Fran Mota |
March 4, 2016 | Logical relations and the typed Lambda-calculus | Richard Statman | Fran Mota |
March 11, 2016 | Simple unification-based type inference for GADTs | S. P. Jones, D. Vytiniotis, S. Weirich, G. Washburn | Andrew K. Hirsch |
March 18, 2016 | - | - | - |
March 25, 2016 | Micro-Policies: Formally Verified, Tag-Based Security Monitors | A. A. de Amorim, M. Denes, N. Giannarakis, C. Hritcu, B. C. Pierce, A. Spector-Zabusky, A. Tolmach | Arthur Azevedo de Amorim |
April 1, 2016 | [Spring Break] | - | - |
April 8, 2016 | When Is a Container a Comonad? | Danel Ahman, James Chapman, Tarmo Uustalu | Andrew K. Hirsch |
April 15, 2016 | Modern Concurrency Abstractions for C# | Nick Benton, Luca Cardelli, and Cedric Fournet | Fabian Muehlboeck |
April 22, 2016 | - | - | - |
April 29, 2016 | Functional pearl: getting a quick fix on comonads | Kenneth Foner | Andrew K. Hirsch |
May 6, 2016 | A Play on Regular Expressions | Sebastian Fischer, Frank Huch, Thomas Wilke | Xiang Long |