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 The Ultimate Conditional Syntax UH 227
10. March 21 Identifying and Correcting Programming Language Behavior Misconceptions UH 227
11. March 28 Decidable Subtyping of Existential Types for Julia UH 227
12. April 4 Refinement Type Refutations 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

  1. MOY, CAMERON. “Knuth–Morris–Pratt Illustrated.” Journal of Functional Programming, vol. 34, 2024. Crossref, https://doi.org/10.1017/S0956796824000017.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Cheng, Luyu, and Lionel Parreaux. “The Ultimate Conditional Syntax.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, Oct. 2024, pp. 988–1017. Crossref, https://doi.org/10.1145/3689746.
  9. Lu, Kuang-Chen, and Shriram Krishnamurthi. “Identifying and Correcting Programming Language Behavior Misconceptions.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, Apr. 2024, pp. 334–61. Crossref, https://doi.org/10.1145/3649823.
  10. Belyakova, Julia, et al. “Decidable Subtyping of Existential Types for Julia.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, June 2024, pp. 1091–114. Crossref, https://doi.org/10.1145/3656421.
  11. Webbers, Robin, et al. “Refinement Type Refutations.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA2, Oct. 2024, pp. 962–87. Crossref, https://doi.org/10.1145/3689745.

Awards

Award Categories

Through the Looking Glass

Bestowed upon works that reveal a world beyond the mirror, where conventional views are turned upside down. This award celebrates papers that lead to unexpected realms of thought, turning the ordinary into the extraordinary and reshaping familiar landscapes into realms of wonder.

The Librarian

This award is for the paper that, like a librarian, shows unmatched dedication to their bookkeeping and organization of resources. Specifically, this is for the paper with the most comprehensive, well-formatted, and organized paper of the semester.

The Hat-Trick

In sports, a hat-trick describes three positive feats in a single match. In PL, a hat-trick is a combination of three spectacular qualities in a single paper (main idea, writing, examples, visuals, evaluation, polished presentation, etc.). The winner of the hat-trick is a paper that best captures this quality.

Homework Required

This award is for a paper that is very understandable and readable at first glance, before suddenly blindsiding you with the necessity to read thousands of papers of background to understand anything.

The Lemon

What a sight to behold! So futuristic, so sleek, so- wait… the gas tank is in the trunk, the accelerator pedal gets stuck to the floor, and a sheets of steel are flying off?! This award is meant for a paper that, while impressive on initial observation, quite literally falls apart upon further reading.

The Catalyst

The best papers are the ones that provoke deep thought on a topic, but why not provoke violent, aggressive discussion as well? This award goes to the paper that was the most controversial for the group. That is, this award goes to the paper that sparked the most heated debate amongst our members, almost certainly resulting in the arguing shifting from the paper to topics loosely connected to it.