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 |
