Skip to main content


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 .


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
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 Linear Regions Are All You Need Dietrich
July 30, 2018 Rust Distilled: An Expressive Tower of Languages Ted
Theme: Historical Papers
August 06, 2018 On Understanding Data Abstraction, Revisited Andrew
August 13, 2018 An Axiomatic Basis for Computer Programming Dietrich
August 20, 2018 Full Abstraction for PCF Josh or Andrew