log in  |  register  |  feedback?  |  help  |  web accessibility
PL Reading Group
Programming Languages Reading Group
See current talks
Past talks
Thursday, February 26, 2026
12:30 pm
- 1:30 pm
PL Reading Group
Simulating Failure: Crash Recovery Systems
Justine Frank
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, February 12, 2026
12:30 pm
- 1:30 pm
PL Reading Group
Logical Step-Indexed Logical Relations
Deena Postol
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, February 5, 2026
12:30 pm
- 1:30 pm
PL Reading Group
Specifications are about to rule software
Liam DeVoe - Antithesis
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, November 20, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Formal Methods for Randomized Concurrent Algorithms
Noam Zilberstein - Cornell University
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, November 13, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Divide-and-Conquer Termination Checking
Henry Blanchette
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, October 30, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Quantum Shared Memory
Le Chang
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, October 23, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Syntactic Completions with Material Obligations
Pierce Darragh
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, October 16, 2025
12:00 pm
- 1:00 pm
PL Reading Group
A Monad for Nonconstructivity
Jacob Prinz
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, October 9, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Random Testing Databases with SQLancer
Alperen Keles
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, September 25, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Cost analysis via types
Sai Divvela
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, September 18, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Program Generation with Sized Types
Caspar Popova
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, September 11, 2025
12:00 pm
- 1:00 pm
PL Reading Group
Programming Languages and the No-Cloning Theorem
Finn Voichick - University of Maryland
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
This list is organized by David Van Horn,Leonidas Lampropoulos, and Milijana Surbatovich