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 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.