PL Reading Group Blog
Spring 2026 Awards Gala + Org Updates
April 26 2026
Good afternoon everyone!
This past Friday, April 24th, we wrapped up the Spring 2026 proceedings with the Spring 2026 Awards Gala! Below are the results of this vote, as well as leadership and organization updates.
Awards Gala Results
Please see below for the finalized votes for the Spring 2025 PL Reading Group Awards Gala.
- Statue of Liberty - Reversible Computing From a PL Perspective
- Written in Stone - Binary Search – Think Positive
- Everything Everywhere All at Once - Linearizability: A Correctness Condition for Concurrent Objects
- The Close Shave - Robust Constant Time Cryptography
- Lasik - Distributed MIS in O(log log n) Awake Complexity
- The Grizzly - Verified Programming of Turing Machines in Coq
- The Rorschach - Reversible Computing From a PL Perspective
Fall 2025 Preliminary Announcements
August 17 2025
Hi all! Welcome to the Fall 2025 semester of Delta Lambda Delta PL Reading Group. I just wanted to open the semester with a couple of announcements concerning the reading group before our first meeting.
Looking for Conferences
August 01 2025
For a while now, we have been wanting to expand the paper selection pool to include more venues than just the four SIGPLAN conferences. I have been re-writing our codebase over the summer, and the paper picker can now handle any conference indexed by DBLP.
With support for a variety of conferences added, all that remains is to choose some new conferences. Please submit conferences from which you would like to read papers by following these steps:
Spring 2025 Awards Gala + Org Updates
April 25 2025
Good afternoon everyone!
If you’re seeing this, that means that I have successfully made the blog for our organization! I wanted to send out a preliminary email to recap the results of our awards gala, as well as the discussed changes to ΔΛΔ leadership and meeting structure (yes, it’s a bit of a long one, but bear with me).
Awards Gala Results
Please see below for the finalized votes for the Spring 2025 PL Reading Group Awards Gala
- Through the Looking Glass - Knuth–Morris–Pratt illustrated
- The Librarian - Choral: Object-oriented Choreographic Programming
- The Hat-Trick - Decidable Subtyping of Existential Types for Julia
- Homework Required - Message-Observing Sessions
- The Lemon - The Ultimate Conditional Syntax
- The Catalyst - Staged Compilation with Module Functors