Programming Languages Reading Group
Spring 2025
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, 3-4 pm in room UH 227 (Summerville)
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.
Our tools for paper selection: plgroup on GitHub.
Current reading group policies.
Semester Schedule
| # | Date | Description | Location |
|---|---|---|---|
| 0. | January 10 | ⚠️ First meeting is canceled for snow storm | – |
| 1. | January 17 | Knuth–Morris–Pratt illustrated | UH 227 |
| 2. | January 24 | Fully Verified Instruction Scheduling | TBD |
| 3. | January 31 | Paper 3 discussion | UH 227 |
| 4. | February 7 | Paper 4 discussion | UH 227 |
| 5. | February 14 | Paper 5 discussion | UH 227 |
| 6. | February 21 | Paper 6 discussion | UH 227 |
| 7. | February 28 | Paper 7 discussion | UH 227 |
| 9. | March 14 | Paper 8 discussion | UH 227 |
| 10. | March 21 | Paper 9 discussion | UH 227 |
| 11. | March 28 | Paper 10 discussion | UH 227 |
| 12. | April 4 | Paper 11 discussion | UH 227 |
| 13. | April 25 | Awards Gala |
No meeting on March 7 (spring pause) and April 11 (spring break).
The week of April 18 is reserved for awards gala preparation.
Semester Papers
- MOY, CAMERON. “Knuth–Morris–Pratt Illustrated.” Journal of Functional Programming, vol. 34, 2024. Crossref, https://doi.org/10.1017/S0956796824000017.
- Yang, Ziteng, et al. “Fully Verified Instruction Scheduling.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, Oct. 2024, pp. 791–816. Crossref, https://doi.org/10.1145/3689739.
