Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 122
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 |
25 Jan | Organizational Meeting and topic exploration | ||
1 February | Abstracting Gradual Typing Garcia, Clark, and Tanter | Fabian Muehlboeck | |
8 February | Property Law as a Programming Language Shrutarshi Basu | Shrutarshi Basu | |
15 February | RelCost: A Relational Type System for Cost Analysis Marco Gaboardi | Marco Gaboardi | Andrew Myers |
22 February | Carlo Pinciroli Carlo Pinciroli | Carlo Pinciroli | Wil Thomason |
1 March | On Verifying Causal Consistency Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, and Jad Hamza | Isaac Sheff | |
8 March | Hypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf, David A. Maumann, Julien Signoles, Eric Totel, Frederic Tronel | Ethan Cecchetti | |
22 March | Levity Polymorphism Richard A. Eisenberg and Simon Peyton Jones | Yizhou Zhang | |
29 March | Automated Proofs of Pairing-Based Cryptography Gilles Barthe, Benjamin Grégoire, and Benedikt Schmidt | Josh Gancher | |
5 April | Spring Break | ||
12 April | Type Directed Compilation of Row-Typed Algebraic Effects Daan Leijen | Wil Thomason | |
17 April, 11:30am | Policy-Agnostic Programming for Database-Backed Applications Jean Yang | Jean Yang | |
19 April | Learning nominal automata Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski | Steffen Smolka | |
26 April | Oracle v. Google: When is a programming language copyrightable? Xiang Long | Xiang Long | |
2 May | Retreat planning; also "Could an interactive interpreter help 4110 and 6110 students learn the lambda-calculus?" Fabian Muehlboeck, Adrian Sampson | Fabian Muehlboeck, Adrian Sampson |