CS 7190 (Fall 2014)

Seminar in Programming Languages
Time: Mondays, Noon–1PM
Location: Gates 114
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
8 Sept Organizational Meeting
15 SeptBuridan's Principle
Leslie Lamport
Abhishek Anand
22 SeptTheorems for Low, Low Prices!
Jacob Matthews and Amal Ahmed (See also: Theorems for free!)
Benjamin Greenman
29 SeptRomeo: a System For More Flexible Binding-Safe Programming
Paul Stansifer and Mitchell Wand
Fabian Mühlböck
6 OctFreeze 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 OctSeemingly Impossible Functional Programs
Martin Escardo, Originally given at POPL TutorialFest 2012
Fran Mota
27 Oct Elevator Pitches
3 NovFunctional Programming with Bananas, Lenses, Envelopes, and Barbed Wire
Erik Meijer, Maarten Fokkinga, and Ross Paterson
Andrew Hirsch
10 Nov Amigo Review: PLDI
17 NovDecentralizing SDN Policies
Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, and Sharon Shoham
Steffen Smolka
24 NovEpistemic Temporal Logic for Sepcifying and Checking Mobile Apps
Kristopher Micinski
Kris Micinski
1 DecNotions of Computation and Monads
Eugenio Moggi
Jonathan DiLorenzo
8 DecThomas Weis

Other suggested papers

See the PLDG wiki page

Validate XHTML Validate CSS
Last updated January 2012