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) |
|---|---|---|---|
| Theme: Synthesis | |||
| June 25, 2018 | A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages | Emina Torlak and Rastislav Bodik | Adrian |
| July 02, 2018 | FlashMeta: A Framework for Inductive Program Synthesis | Oleksandr Polozov and Sumit Gulwani | Josh G. |
| July 09, 2018 | Program Synthesis from Polymorphic Refinement Types | Nadia Polikarpova, Ivan Kuraj and Armando Solar-Lezama | Rolph |
| Theme: Substructural Types | |||
| July 16, 2018 | Linear Types Can Change The World! | Phil Wadler | Irene |
| July 23, 2018 | Substructural Type Systems (chapter from Advanced Types and Programming Languages) | David Walker | Ted |
| July 30, 2018 | Linear Regions Are All You Need | Matthew Fluet, Greg Morrisett, and Amal Ahmed | Dietrich |
| Theme: Historical Papers | |||
| August 06, 2018 | On Understanding Data Abstraction, Revisited | William Cook | Andrew |
| August 13, 2018 | An Axiomatic Basis for Computer Programming | C. A. R. Hoare | Rolph |
| August 20, 2018 | Full Abstraction for PCF | Samson Abramsky, Radha Jagadeesan, and Pasquale Malacaria | Josh G. |