- 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!
- 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: S204 (corridor in front of), 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).
- What: Syntax and Semantics of Dependent Types
- Paper: https://www.cs.uoregon.edu/research/summerschool/summer14/rwh_notes/ssdt.pdf
- Where: Room T9:364b, Thákurova 9, Praha 6 (see a guide and a map)
- Who: Thanks to Ondřej Kubánek for volunteering!
- Comment: This is a dense paper, but we can use it as a starting point for taking the next step towards making sense of dependent types! Ondřej volunteered to start with a 30 minute presentation, so this will be more of an introduction to the topic. It is still a good idea to look at sections 1 and 2 of the paper to know what to expect!
- What: Reclaiming the Unexplored in Hybrid Visual Programming
- Paper: https://michael.homer.nz/Publications/Onward2024/ReclaimingUnexplored-Homer2024.pdf
- Where: Room S6 (2nd floor), Malostranské nám. 25 (see a map and a building plan)
- Who: Thanks to Joel Jakubovic for volunteering!
- Comment: The paper argues that we should do more work to explore visual representation of programs and visual programming. This is a short and readable paper and so I suggest looking at most of it in advance (sections 1-4). You can also experiment with the web-based demos available at: https://djel.org
- 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)
- Who: Thanks to Maya Mückenschnabel for volunteering!
- 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: FP2: 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)
- Who: Thanks to Jaromír Procházka for volunteering!
- 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: 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)
- Who: Tomas Petricek, Pierre Donat-Bouillud
- 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!
- 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.