Seminar in Programming Languages
Time: Mondays, Noon–1PM
Location: Gates 114
POC: Andrew Hirsch and Matthew Milano
Previous Semesters: Archives
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.
Date | Topic | Presenter |
8 Sept | Organizational Meeting | |
15 Sept | Buridan's Principle Leslie Lamport | Abhishek Anand |
22 Sept | Theorems for Low, Low Prices! Jacob Matthews and Amal Ahmed (See also: Theorems for free!) | Benjamin Greenman |
29 Sept | Romeo: a System For More Flexible Binding-Safe Programming Paul Stansifer and Mitchell Wand | Fabian Mühlböck |
6 Oct | Freeze after writing: quasi-deterministic parallel programming with LVars Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton | Mark Reitblatt |
13 Oct | Fall Break | |
20 Oct | Seemingly Impossible Functional Programs Martin Escardo, Originally given at POPL TutorialFest 2012 | Fran Mota |
27 Oct | Elevator Pitches | |
3 Nov | Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire Erik Meijer, Maarten Fokkinga, and Ross Paterson | Andrew Hirsch |
10 Nov | Amigo Review: PLDI | |
17 Nov | Decentralizing SDN Policies Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, and Sharon Shoham | Steffen Smolka |
24 Nov | Epistemic Temporal Logic for Sepcifying and Checking Mobile Apps Kristopher Micinski | Kris Micinski |
1 Dec | Notions of Computation and Monads Eugenio Moggi | Jonathan DiLorenzo |
8 Dec | Thomas Weis |
See the PLDG wiki page