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
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.
.Date | Topic | Presenter |
26 August | Flow-Limited Authorization Owen Arden, Jed Liu, and Andrew C. Myers | Owen Arden |
2 September | Extensible Compilers | Andrew Hirsch |
9 September | Three recent projects | Greg Morrisett |
16 September | ROSCoq: Robots Powered by Constructive Reals Abhishek Anand and Ross Knepper | Abhishek Anand |
23 September | Scrap your boilerplate: a practical design pattern for generic programming Ralf Laemmel and Simon Peyton Jones | Chin Isradisaikul |
30 September | How to write secure programs in a composable universe | Elaine Shi |
7 October | Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg, Limin Jia, and Anupam Datta | Eleanor Birrell |
14 October | Deductive Program Repair Etienne Kneuss, Manos Koukoutos, and Viktor Kuncak | Hossein Hojjat |
21 October | Tracking the Flow of Ideas through the Programming Languages Literature Michael Greenberg, Kathleen Fisher, and David Walker | Kathleen Fisher |
28 October | P4: 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 November | Authenticated Data Structures, Generically Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi | Andrew Miller (Maryland) |
11 November | A Principled Approach to Practical Embedded Device Programming | Christian Skalka (Vermont) |
18 November | Cancelled | |
2 December | Cancelled: faculty reception |