The Programming Languages Discussion Group meets weekly to discuss
papers in the area of programming languages, program analysis, and
compilers. The goal is to encourage interactions and discussions between
students, researchers, and faculty with interests in this area. The
seminar is open to everybody interested in languages and compilers.
First-year and second-year students are especially encouraged to
participate. Participating students should register for the 1-credit
course CS 7190.
Date |
Topic |
Presenter |
10 Feb | Toward General Diagnosis of Static Errors Danfeng Zhang and Andrew Myers | Danfeng Zhang |
17 Feb | February Break |
24 Feb | Theorems for Free! Philip Wadler | Shrutarshi Basu |
3 Mar | A Theory of Information-Flow Labels Benoît Montagu, Benjamin C. Pierce, and Randy Pollack | Eliza Kozyri |
10 Mar | Visit Day PLDG |
17 Mar | Type-Based Methods for Termination and Productivity Suggested Readings: http://coq.inria.fr/files/coq5-slides-sacchini.pdf Type-based termination of recursive definitions in the Calculus of Inductive Constructions | Abhishek Anand |
24 Mar | Types, Abstraction, and Polymorphism John Reynolds | Mark Reitblatt |
30 Mar | Bidirectionalization for Free! Janis Voigtländer | Nate Foster |
7 Apr | From Parametricity to Conservation Laws, via Noether's Theorem Robert Atkey | Ben Greenman and Ben Carriel |
14 Apr | Tierless Programming and Reasoning for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, and Shriram Krishnamurthi | Tom Magrino |
21 Apr | Overlapping and Order-Independent Patterns Jesper Cockx, Frank Piessens, and Dominique Devriese | Chin Isradisaikul |
28 Apr | Quasi-Delay Insensitive Circuits and Programming Languages | Stephen Longfield |
5 May | WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations Assem Rastogi, Matthew A. Hammer, and Michael Hicks | Laure Thompson |