Spring 2025 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, 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.
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 | Embedding by Unembedding | UH 227 |
| 4. | February 7 | Message-Observing Sessions | UH 227 |
| 5. | February 14 | Choral: Object-oriented Choreographic Programming | UH 227 |
| 6. | February 21 | A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs | UH 227 |
| 7. | February 28 | Staged Compilation with Module Functors | 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.
- Matsuda, Kazutaka, et al. “Embedding by Unembedding.” Proceedings of the ACM on Programming Languages, vol. 7, no. ICFP, Aug. 2023, pp. 1–47. Crossref, https://doi.org/10.1145/3607830.
- Kavanagh, Ryan, and Brigitte Pientka. “Message-Observing Sessions.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, Apr. 2024, pp. 1351–79. Crossref, https://doi.org/10.1145/3649859.
- Giallorenzo, Saverio, et al. “Choral: Object-Oriented Choreographic Programming.” ACM Transactions on Programming Languages and Systems, vol. 46, no. 1, Jan. 2024, pp. 1–59. Crossref, https://doi.org/10.1145/3632398.
- Rajani, Vineet, et al. “A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, Oct. 2024, pp. 389–414. Crossref, https://doi.org/10.1145/3689725.
- Chiang, Tsung-Ju, et al. “Staged Compilation with Module Functors.” Proceedings of the ACM on Programming Languages, vol. 8, no. ICFP, Aug. 2024, pp. 693–727. Crossref, https://doi.org/10.1145/3674649.