PRG • PRG Reading Group

When and where? We meet on Wednesday 10:00, (roughly) every three weeks, alternating betweeb MFF and FIT
Email updates Sign up here to receive email updates about meetings.
What paper? Post ideas and vote using Github issues!

Group Meetings

What: Type-Level Computations for Ruby Libraries
Paper: https://arxiv.org/abs/1904.03521
Where: Room T9:364b, Thákurova 9, Praha 6 (see a guide and a map)
Comment: An interesting perspective on what "types" can mean for dynamic programming languages. Read at least sections 2 and 3, which are accessible and provide nice overview. We can then try to read some of the formalism in section 4 or try to look at the evaluation in section 5. You do not need to read sections 4 and 5 in detail, but try to skim them to see what to find there!

What: FP²: Fully in-Place Functional Programming
Paper: https://webspace.science.uu.nl/~swier004/publications/2023-icfp.pdf
Where: Room S510 (5th floor), Malostranské nám. 25 (see a map and a building plan)
Comment: The paper describes a subset of a functional langauge where programs can be executed without any memory allocation. Read section 1, which provides a nice overview of the language. We will certainly want to understand the calculus and well-formedness rules in section 2.1 and 2.2. It may be also interesting to look briefly at some of the algorithms in section 3 and 4.

What: Grokking the Sequent Calculus
Paper: https://arxiv.org/pdf/2406.14719
Where: Room T9:364b, Thákurova 9, Praha 6 (see a guide and a map)
Comment: A paper that presents the sequent calculus as a compilation target for "compiler hackers". This is written as a tutorial paper and it is probably best to read at least sections 1 and 2 in some details. For the rest, look at the first few paragraphs of each section to get a sense of what it's about.

What: Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode
Paper: https://webspace.science.uu.nl/~swier004/publications/2023-icfp.pdf
Where: TBA, Malostranské nám. 25 (see a map and a building plan)
Comment: A paper about an extremely fast compilation technique that produces good quality code (and is also used in Python 3.13!) The core ideas are described in sections 2, 3 and 4, so make sure to read those. We will likely also want to look at the evaluation results in section 5 and 6 (but you can skim the text there).

In previous years, the group was organised using a huge Google Doc (remarkably, nobody accidentally deleted it). Check it out for papers we've read in the past.
Please share your paper ideas (and volunteer to present a paper) using Github Issues in this repository.