Programming Languages 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.
We meet weekly on Fridays, 1-2 pm, at UH 122 conference room.
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.
Discussion We have a PL discussion channel at CS Grad Students discord.
Next Paper
~* Come back in the fall *~
Previous Papers
Spring 2023 Papers
- Accattoli, Beniamino, and Giulio Guerrieri. “The Theory of Call-by-Value Solvability.” Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, Aug. 2022, pp. 855–85. Crossref, https://doi.org/10.1145/3547652.
- Rioux, Nick, et al. “A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 515–43. Crossref, https://doi.org/10.1145/3571211.
- Fu, Peng, et al. “Proto-Quipper with Dynamic Lifting.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 309–34. Crossref, https://doi.org/10.1145/3571204.
- Dash, Swaraj, et al. “Affine Monads and Lazy Structures for Bayesian Programming.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 1338–68. Crossref, https://doi.org/10.1145/3571239.
- Baumann, Pascal, et al. “Context-Bounded Verification of Context-Free Specifications.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 2141–70. Crossref, https://doi.org/10.1145/3571266.
- Labrada, Elizabeth, et al. “Plausible Sealing for Gradual Parametricity.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA1, Apr. 2022, pp. 1–28. Crossref, https://doi.org/10.1145/3527314.
- Ding, Shuo, and Qirun Zhang. “Witnessability of Undecidable Problems.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 982–1002. Crossref, https://doi.org/10.1145/3571227.
- Thokair, Mosaad Al, et al. “Dynamic Race Detection with O(1) Samples.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 1308–37. Crossref, https://doi.org/10.1145/3571238.
- Abreu, Pedro, et al. “A Type-Based Approach to Divide-and-Conquer Recursion in Coq.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Jan. 2023, pp. 61–90. Crossref, https://doi.org/10.1145/3571196.