CS 7194 (Spring 2019)

Great works in Programming Languages

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


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.


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