Skip to main content



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 .

Schedule

Date Title Author(s) Discussion Leader(s)
January 29, 2018 I Got Plenty o’ Nuttin’ Conor McBride Andrew K. Hirsch
February 5, 2018 Improving JavaScript Performance by Deconstructing the Type System W. Ahn, J. Choi, T. Shull, M. J. Garazarán, J. Torrellas Fabian Muehlboeck
February 12, 2018 Foundations of Differential Dataflow Ma. Abadi, F. McSherry, G. D. Plotkin Dietrich Geisler
February 19, 2018 February Break
February 26, 2018 TBD TBD TBD
March 5, 2018 TBD TBD TBD
March 12, 2018 TBD TBD TBD
March 19, 2018 TBD TBD TBD
March 26, 2018 TBD TBD TBD
April 2, 2018 Spring Break
April 9, 2018 TBD TBD TBD
April 16, 2018 TBD TBD TBD
April 23, 2018 TBD TBD TBD
April 30, 2018 TBD TBD TBD
May 7, 2018 TBD TBD TBD