Fall 2026 Reading Group
Augusta University Programming Languages (PL) Reading Group is a regular meeting to discuss exciting recent results in programming languages research. The intent of the group is to learn about various ideas and generally broaden perspectives on PL research topics. We randomly select papers from the major PL conferences. At the end of the semester we gather for a lively discussion to give prestigious awards to select papers.
We meet weekly on Fridays from 11 am till noon in UH227 on Summerville Campus.
We encourage everyone to join our reading group. Even if your primary focus is not PL, this is a chance to learn about various new topics that may become relevant to you later. It is also simply fun to hang out with us.
The PL Reading Group is a regular meeting of ΔΛΔ student organization.
Semester Schedule
| # | Date | Description | Location |
|---|---|---|---|
| 0. | August 21 | Opening Meeting | UH 277 (Fishbowl) |
| 1. | August 28 | TBA | UH 277 (Fishbowl) |
| 2. | September 04 | 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (Short Paper) | UH 277 (Fishbowl) |
| 3. | September 11 | An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories | UH 277 (Fishbowl) |
| 4. | September 18 | POPE | UH 277 (Fishbowl) |
| 5. | September 25 | Paper 04 discussion | UH 277 (Fishbowl) |
| 6. | October 02 | Paper 05 discussion | UH 277 (Fishbowl) |
| 7. | October 09 | Paper 06 discussion | UH 277 (Fishbowl) |
| 8. | October 16 | Paper 07 discussion | UH 277 (Fishbowl) |
| 9. | October 23 | Paper 08 discussion | UH 277 (Fishbowl) |
| 10. | October 30 | Paper 09 discussion | UH 277 (Fishbowl) |
| 11. | November 06 | Paper 10 discussion | UH 277 (Fishbowl) |
| 12. | November 20 | Awards Gala | UH 277 (Fishbowl) |
The week of November 13 is reserved for Awards Gala preparation.
Semester Papers
- Urban, Josef. “130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (Short Paper).” LIPIcs, Volume 382, ITP 2026, edited by Ekaterina Komendantskaya and Tobias Nipkow, vol. 382, no. 31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 31:1-31:9, https://doi.org/10.4230/LIPICS.ITP.2026.31.
- Kammar, Ohad, et al. “An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories.” Proceedings of the ACM on Programming Languages, vol. 10, no. POPL, Jan. 2026, pp. 1847–75. Crossref, https://doi.org/10.1145/3776706.
- Roche, Daniel S., et al. “POPE.” Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, ACM, 24 Oct. 2016, CCS’16: 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 1131–42. Crossref, https://doi.org/10.1145/2976749.2978345.