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, 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	Jones-optimal partial evaluation by specialization-safe normalization	M. Brown, J. Palsberg	Eric Campbell
March 5, 2018	Scaling network verification using symmetry and surgery	G. D. Plotkin, N. Bjørner, N. P. Lopes, A. Rybalchenko, G. Varghese	Xiang Long
March 12, 2018	Practical partial evaluation for high-performance dynamic language runtimes	T. Würthinger, C. Wimmer, C. Humer, A. Wöß, L. Stadler, C. Seaton, G. Duboscq, D. Simon, M. Grimmer	Rolph Recto
March 19, 2018	A very modal model of a modern, major, general type system	A. W. Appel, P.-A. Melliès, C. D. Richards, and J. Vouillon	Ryan Doenges
March 26, 2018	Towards a quantum programming language	P. Selinger	Michael Roberts
April 2, 2018	Spring Break
April 9, 2018	Cancelled
April 16, 2018	Functional pearl: streams and unique fixed points	Ralf Hinze	Xiang Long
April 23, 2018	Against a universal definition of 'Type'	Tomas Petricek	Eric Campbell
April 30, 2018	Responsive parallel computation: bridging competitive and cooperative threading	S. K. Muller, U. A. Acar, R. Harper	Rolph Recto
May 7, 2018	Compositional game theory	N. Ghani, J. Hedges, V. Winschel, P. Zahn	Michael Roberts