Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czar: Karuna Grewal, Mark Barbone
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 join, send a message to pldg-l-request@cornell.edu with the subject “join” and a blank body.
A detailed schedule with abstracts can be accessed here.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Jan 21 | Organizational Meeting | ||
| Jan 28 | Deciding Serializability in Network Systems | Guy Amir | |
| Feb 4 | TBD | Manya Bansal | Adrian Sampson |
| Feb 11 | AI meets AR | Haoze (Andrew) Wu | Adrian Sampson |
| Feb 18 | Two recent type inference papers | Mark Barbone | |
| Feb 25 | Automated Backward Error Analysis | Laura Zielinski | |
| Mar 4 | Equational Reasoning in Infinity-Categories | Keri D’Angelo | |
| Mar 11 | CF-GKAT: A Complete Calculus for Non-Local Control Flow | Spencer | |
| Mar 18 | CSS for Code: Code Style Sheets + Ragged Blocks | Ravi Chugh | Justin Hsu |
| Mar 25 | Typed, Algebraic Approach to Parsing | Mark Moeller | |
| Apr 1 | Spring Break | ||
| Apr 8 | Automata-Based Expressive Monitoring of Blackbox Systems | Karuna Grewal | |
| Apr 15 | TBD | Katherine Wu | |
| Apr 22 | Making OCaml Safe for Performance Engineering | Chris Casinghino | Dexter Kozen |
| Apr 29 | TBD | Max Fan | |
| May 6 | TBD | Zach Susag |