Time: Wednesday 3:45pm - 4:35pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizer: 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 |
|---|---|---|---|
| Jan 25 | Organizational Meeting | Josh Turcotti | |
| Feb 1 | A Complete Inference System for Skip-free GKAT | Todd Schmid | |
| Feb 8 | Probabilistic Guarded Kleene Algebra with Tests | Wojtek Różowski | |
| Feb 15 | Hoare Logic Completeness and Expressivity | Noam Zilberstein | |
| Feb 22 | Automata Learning from an Incomplete Teacher | Mark Moeller | |
| Mar 1 | A Decentralized Approach to Multi-language Semantics and Verification | Priya Srikumar | |
| Mar 8 | An Overview of Dynamic Information Flow Policies & Enforcement | Drew Zagieboylo | |
| Mar 15 | Constructing a solution at both ends with bi-intuitionism | Oliver Daids | |
| Mar 22 | A Higher-order Language for Markov Kernels and Linear Operators | Pedro Amorim | |
| Mar 29 | Proving Hypersafety Compositionally | Jialu Bao | |
| Apr 5 | (No PLDG - Spring Break) | ||
| Apr 12 | Huffman Coding and PIFO Tree Embeddings | Keri D’Angelo | |
| Apr 19 | The Power of Symbolic Automata and Transducers | Karuna Grewal | |
| Apr 26 | Viaduct-HE: A Compiler from Array Programs to Vectorized Homomorphic Encryption | Rolph Recto | |
| May 3 | Making OCaml Safe for Performance Engineering | Yaron Minsky (Jane Street) | Justin Hsu |
| May 10 |
Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.