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 | 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.