Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Matthew Milano and Molly Feldman
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 | Host |
24 August | Organizational Meeting | ||
31 August | Calculational Design of Information Flow Monitors Mounir Assaf, Stevens Institute of Technology | Mounir Assaf | Michael Clarkson |
7 September | Encoding-Free Foundations of Mathematics Scott Messick | Scott Messick | |
14 September | Lenses tutorial: Part 1 Jonathan DiLorenzo | Jonathan DiLorenzo | |
21 September | Lenses tutorial: Part 2 Jonathan DiLorenzo | Jonathan DiLorenzo | |
28 September | Isaac Sheff Isaac Sheff | Isaac Sheff | |
MONDAY 3 October | Saman Amarasinghe Saman Amarasinghe | Saman Amarasinghe | Andrew C Myers |
15 October | PL retreat | ||
19 October | Mystery Tutorial Dexter Kozen | Dexter Kozen | |
26 October | Tutorial on Effects I Andrew Hirsch | Andrew Hirsch | |
2 November | Tutorial on Effects II Andrew Hirsch | Andrew Hirsch | |
9 November | PLDI amigo review | ||
16 November | Molly Molly | Molly | |
23 November | Thanksgiving | ||
30 November | Ethan Ethan | Ethan |