CS 7190 (Spring 2014)

Seminar in Programming Languages
Time: Mondays, Noon–1PM
Location: Gates 122
POC: Andrew Hirsch and Matthew Milano
Previous Semesters: Archives

Overview

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.

Talks will be advertised on the pldg-l email list.

Schedule

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

Other suggested papers

See the PLDG wiki page

Last updated January 2012