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 |