Programming Languages Discussion Group (Spring 2022)

Time: Wednesday 2:45pm - 4:00pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Pedro Amorim and Alexa VanHattum

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 list. To join, send a message to with the subject “join” and a blank body.

PLDG will meet in person when possible, but meetings will still be broadcast over Zoom. Please discuss with the czars if you plan to present virtually.

Date Topic Presenter Host
Jan 26 (virtual) Wire sorts: a language abstraction for safe hardware composition Griffin Berlstein
Feb 2 (virtual)
Feb 9
Feb 16
Feb 23
Mar 2
Mar 9
Mar 16
Mar 23
Mar 30
Apr 13
Apr 20
Apr 27
May 4

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