CS 7194 (Spring 2019)

Great works in Programming Languages

Time: Tuesdays 1:25PM - 2:15PM
Location: Gates 406
Organizers: Nate Foster and Rachit Nigam

Overview

This is a 1-credit seminar that meets every week to discuss classic papers in Programming Languages literature. The confirmation for reading with any additional materials goes out over the weekend on the PLDG mailing list. To sign up on the mailing list, follow the instructions here.

Schedule

Date	Topic	Presenter	Mentor
Jan 22	[Organizational meeting]
Jan 29	Recursive functions of symbolic expressions and their computation by machine, Part 1 [slides]	Ryan	Scott
Feb 05	An axiomatic basis for computer programming [slides]	Alexa	Jonathan
Feb 12	Types, Abstraction, and Parametric Polymorphism [slides]	Dietrich	Josh
Feb 19	On the expressive power of programming languages [slides]	Rachit	Matthew & Peter
Feb 26	[Winter Break]
Mar 05	Call-by-name, call-by-value, and the λ-calculus [slides]	Dietrich	Ethan
Mar 12	Type Systems [slides]	Hardik	Fabian
Mar 19	Abstract Interpretation [slides]	Michael	Nate
Mar 26	Definitional Interpreters [slides] [code]	Eric	Nate
Apr 02	[Spring Break]
Apr 09	From System F to Typed Assembly Language [slides]	Drew	Matthew
Apr 16	Proof-carrying Code [slides]	Tom	Ethan
Apr 23	Formal verification of a realistic compiler [slides]	Irene	Ryan
Apr 30	Self: The Power of Simplicity [slides] [video]	Rolph	Jonathan
May 07	Producing wrong data without doing anything obviously wrong!	Alexa	Tom