Programming Languages Discussion Group (Fall 2020)

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 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
Sept 2 Organizational Meeting Pedro Amorim and Alexa VanHattum
Sept 9 A Compiler Infrastructure for Accelerator Generators Rachit Nigam
Sept 16 Resource-Aware Session Types for Digital Contracts Ankush Das Nate Foster
Sept 23 Efficient Handling of String-Number Conversion Dietrich Geisler
Sept 30 TBA Griffin Berlstein
Oct 7 TBA Hila Peleg John Sarracino
Oct 14 (No classes)
Oct 21 TBA
Oct 28 TBA
Nov 4 TBA Talia Ringer Nate Foster
Nov 11 Amigo Review
Nov 18 Ayaka Yorihiro
Nov 25 (Thanksgiving)
Dec 4 TBA Mark Moeller
Dec 9 TBA Goktug Saatcioglu
Dec 16 TBA Anshuman Mohan