Time: Wednesday 3:35pm - 4:25pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizer: Adrian Sampson and Dexter Kozen
Czars: Mark Moeller and Jialu Bao
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.
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.
PLDG meets both in person and on Zoom. Please discuss with the czars if you plan to present virtually.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Aug 23 | Introductions/Welcome | Mark and Jialu | |
| Aug 30 | Not held | ||
| Sep 6 | Symbolic Semantics for Probabilistic Programs | Erik Voogd | Alexandra |
| Proving Hypersafety Compositionallly | Emanuele D’Osualdo (MPI-SWS) | Alexandra | |
| Sep 13 | Loop Rerolling for Hardware Decompilation | Griffin Berlstein | |
| Sep 20 | Higher-Order Leak and Deadlock Free Locks | Jules Jacobs | |
| Sep 27 | Formal Abstractions for Packet Scheduling | Anshuman Mohan | |
| Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning | Noam Zilberstein | ||
| Oct 4 | Abstract Interpretation for Differentiable Programming | Jacob Laurel (UIUC) | Adrian |
| Oct 11 | Stefan Zetzsche (AWS) | ||
| Oct 18 | Dietrich Geisler | ||
| Oct 25 | Susan Garry | ||
| Nov 1 | Amiga review for PLDI | ||
| Nov 8 | |||
| Nov 15 | Vaibhav Mehta | ||
| Nov 22 | (Thanksgiving break - No PLDG) | ||
| Nov 29 | (Last scheduled class day) | Zachary Susag |
Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.