Programming Languages Discussion Group (Spring 2021)

Time: Wednesday 3:00pm - 4:15pm
Location: 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 graduate 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.

This semester, PLDG will be entirely virtual, with talks and discussion over Zoom.

Date Topic Presenter Host
Feb 10 Poulet4: Data-dependent grammars for formal reasoning about P4 programs John Sarracino
Feb 17 Distribution Theoretic Semantics for Differentiable Programming Pedro Amorim
Feb 24 Functional Correctness of Dijkstra’s, Prim’s, and Kruskal’s Algorithms in C Anshuman Mohan
Mar 3 TBA Ryan Doenges
Mar 10 Cornell Wellness Day
Mar 17 TBA
Mar 24 TBA Drew Zagieboylo
Mar 31 TBA Alexa VanHattum
Apr 7 TBA Wen-Ding Li
Apr 14 TBA Luke Bernick
Apr 21 TBA Rolph Recto
Apr 28 TBA Priya Srikumar
May 5 TBA Goktug Saatcioglu
May 12 TBA Joshua Gancher
May 19 TBA Ayaka Yorihiro
May 26 Notational Programming for Quantum Computing Ian Arawjo