Programming Languages Discussion Group (Spring 2023)

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 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
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 Noam Zilberstein
Feb 22 Mark Moeller
Mar 1 Priya Srikumar
Mar 8 Drew Zagieboylo
Mar 15
Mar 22 Pedro Amorim
Mar 29 Jialu Bao
Apr 5 (No PLDG - Spring Break)
Apr 12 Keri D’Angelo
Apr 19 Karuna Grewal
Apr 26 Rolph Recto
May 3
May 10

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