Programming Languages Discussion Group (2026 Fall)

Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czar: Karuna Grewal, Hanxi Chen


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. Participating students should register for the 1-credit course CS 7190.

Talks will be advertised on the PLDG-L@lists.cornell.edu list. To join, send a message to pldg-l-request@cornell.edu with the subject “join” and a blank body.

A detailed schedule with abstracts can be accessed here.

Date Topic Presenter Host
Aug 20 Coalgebraic Path Constraints Todd Schmid Alexandra Silva
Aug 26 TBD Suraaj K.
Sep 2 TBD Roger Burtonpatel Alexandra Silva
Sep 9
Sep 16
Sep 23 TBD Karuna Grewal
Sep 30
Oct 7
Oct 14
Oct 21
Oct 28
Nov 4
Nov 11 TBD Shardul Chiplunkar
Nov 18
Nov 25 Thanksgiving
Dec 2

Archive