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 The Dafny Programming Language and Static Verifier Stefan Zetzsche (AWS)
Oct 18 Efficiency of Learning from Proof Blocks Versus Writing Proofs Dietrich Geisler
Oct 25 Cancelled
Nov 1 Amiga review for PLDI
Nov 8 Parametric polymorphism in Swift: Protocols and associated types Slava Pestov (Apple) Josh
Nov 15 Cancelled
Nov 22 (Thanksgiving break - No PLDG)
Nov 29 Activation Energy: Technology Lanscapes and Forces of Adoption Graydon Hoare Justin
Dec 5 (Tues!) The Math Wars are Back, with Computing at the Center Emmanuel Schanzer Dexter

Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.