CS 7190 (Fall 2015)

Seminar in Programming Languages
Time: Wednesdays, 3:35–4:35PM
Location: Gates 122
Organizers: Nate Foster and Andrew Myers
Czar: 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@cornell.edu list. To subscribe, send a message to pldg-l-request@cornell.edu with the subject "join" and a blank body.

.

Schedule


Date Topic Presenter
26 AugustFlow-Limited Authorization
Owen Arden, Jed Liu, and Andrew C. Myers
Owen Arden
2 SeptemberExtensible CompilersAndrew Hirsch
9 SeptemberThree recent projectsGreg Morrisett
16 SeptemberROSCoq: Robots Powered by Constructive Reals
Abhishek Anand and Ross Knepper
Abhishek Anand
23 SeptemberScrap your boilerplate: a practical design pattern for generic programming
Ralf Laemmel and Simon Peyton Jones
Chin Isradisaikul
30 SeptemberHow to write secure programs in a composable universeElaine Shi
7 OctoberPolicy Auditing over Incomplete Logs: Theory, Implementation and Applications
Deepak Garg, Limin Jia, and Anupam Datta
Eleanor Birrell
14 OctoberDeductive Program Repair
Etienne Kneuss, Manos Koukoutos, and Viktor Kuncak
Hossein Hojjat
21 OctoberTracking the Flow of Ideas through the Programming Languages Literature
Michael Greenberg, Kathleen Fisher, and David Walker
Kathleen Fisher
28 OctoberP4: Programming Protocol-Independent Packet Processors
P. Bosshart, D. Daly, G. Gibb, M. Izzard, N. McKeown, J. Rexford, C. Schlesinger, D. Talayco, A. Vahdat, G. Varghese, D. Walker
Xiang Long
4 NovemberAuthenticated Data Structures, Generically
Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi
Andrew Miller (Maryland)
11 NovemberA Principled Approach to Practical Embedded Device ProgrammingChristian Skalka (Vermont)
18 NovemberCancelled
2 DecemberCancelled: faculty reception
Validate XHTML Validate CSS
Last updated August 2015