Great Works (Spring 2025)

Time: Fridays 2pm -3pm
Location: Gates G23 (Zoom link sent via Slack channel)
Organizers: Mark Barbone and Max Fan


This is a seminar that meets every week to discuss classic papers in programming languages adjacent fields. Great works is a discussion-focused reading group. We expect participants to read the papers and attend the seminar.

Reading Protocol

Our primary means of communication is through slack: Cornell CIS #great-pl Please also join the PLDG mailing list:

  pldg-l@cornell.edu

To join, send a message to pldg-l-request@cornell.edu with the subject “join” and a blank body.

Presenting Papers

This seminar has two parts — a presentation that familiarize people with the topic and help them with paper reading, and a discussion in the subsequent week with the expectation that people have a good understanding of the paper. Aim for 20-25 minutes for your presentation, and 25-30 minutes discussion (prepare questions and slides).

Getting Papers

An up-to-date schedule and paper list is here. You can fill in your name in the empty block to claim a presentation slot.

Paper titles are hyperlinked to PDFs available on the web. If a link is broken, open an issue at the Github repo for this website, or find a working link and make a pull request.

Date (YYYY-MM-DD) Presenter Topic
2025-03-14 Mark Barbone and Max Fan Organizational Meeting
2025-03-21 Mark Barbone Types, abstraction, and parametric polymorphism
2025-03-28 SKIPPED NO MEETING
2025-04-04 SPRING BREAK NO MEETING
2025-04-11 Emmanuel Suárez Acevedo A syntactic approach to type soundness
2025-04-18 Elaine Yao CUTE: A concolic unit testing engine for C
2025-04-25 Max Fan A very modal model of a modern major general type system
2025-05-02
2025-05-09

Archive