Programming Languages Discussion Group (Fall 2023)

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 list. To join, send a message to 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.