Reading Group

In the weekly reading group session we discuss a paper from the literature. Currently reading group sessions are on Wednesdays at 11:00.

How the reading group works:

  • all participants read the paper in advance
  • at the start, the moderator makes a round collecting questions from the participants (without discussion)
  • then we discuss those questions, typically in order of the section in the paper that they relate to

Add entries to _data/reading-group.yml

Wed, Sep 25, 2019 at 11:00 in De Bruijn
A Path To DOT: Formalizing Fully-Path-Dependent Types

By Marianna Rapoport, Ondřej Lhoták in OOPSLA'19

Moderator: Paolo Giarrusso

We will focus not on the safety proofs, but on the language itself. In particular, I’d probably skip, at a first read, Sec. 2.3, 3.6, 5.1 and 5.2.

Wed, Oct 09, 2019 at 11:00 in De Bruijn
Staged Generic Programming

By Jeremy Yallop in ICFP'17

Moderator: Jeff Smits

Question: Can we apply this idea to generic traversals in Stratego?

Past Sessions

Wed, May 22, 2019 at 11:00 in De Bruijn
A Logic Programming Language with Finite Sets

By Agostino Dovier et al

Moderator: Arjen Rouvoet

Particularly interested in comparing sets with scopes in Statix

Wed, May 15, 2019 at 11:00 in De Bruijn
What are principal typings and what are they good for?

By Trevor Jim in POPL 1996

Moderator: Jeff Smits / Paolo Giarrusso

Of particular interest: Section 4 on separate compilation

Wed, Apr 24, 2019 at 11:00 in De Bruijn
A Foundation for Flow-Based Program Matching. Using Temporal Logic and Model Checking

By Julien Brunel, Damien Doligez, Rene Rydhof Hansen, Julia L. Lawall, Gilles Muller in POPL 2009

Moderator: Eelco Visser / Casper Bach Poulsen

Thu, Apr 04, 2019 at 11:00 in De Bruijn
Substructural Type Systems

By David Walker in Chapter 1 of Advanced Topics in Types and Programming Languages

Moderator: Eelco Visser (Andrew Tolmach)

Question: How are substructural type systems declaratively specified and how can we turn that into type checkers? How do these type systems fit in the scope graphs and Statix approach?

Wed, Mar 27, 2019 at 11:00 in 0.E420 Colloquiumzaal (Turing)
A Gentle Introduction to Multiparty Asynchronous Session Types

By Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida in International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2015) Formal Methods for Multicore Programming pp 146-178

Moderator: Sung-Shik Jongmans

Sung-Shik is visiting and will guest moderate this session

Wed, Mar 20, 2019 at 11:00 in De Bruijn
Wed, Mar 13, 2019 at 11:00 in De Bruijn
Knowing When to Ask

Moderator: Arjen

Draft paper

Wed, Feb 27, 2019 at 11:00 in De Bruijn
Wed, Feb 20, 2019 at 11:00 in De Bruijn
Wed, Feb 13, 2019 at 11:00 in De Bruijn
Modula-2 and Oberon

Moderator: Jeff

Wed, Feb 06, 2019 at 11:00 in De Bruijn
Monadic Constraint Programming

Moderator: Hendrik

Wed, Jan 30, 2019 at 11:00 in De Bruijn
Wed, Jan 23, 2019 at 11:00 in De Bruijn
Wed, Jan 16, 2019 at 11:00 in De Bruijn
Wed, Dec 05, 2018 at 11:00 in De Bruijn

Moderator: Robbert

Wed, Nov 28, 2018 at 11:00 in De Bruijn
Bindings as sets of scopes

Moderator: Arjen

Wed, Nov 21, 2018 at 11:00 in De Bruijn
Wed, Nov 14, 2018 at 11:00 in De Bruijn
Efficient and flexible incremental parsing

Moderator: Maarten Sijm (+ Eelco)

Wed, Nov 07, 2018 at 11:00 in De Bruijn
No reading group (SPLASH)
Wed, Oct 31, 2018 at 11:00 in De Bruijn
Robust projectional editing

Moderator: Daniel

Wed, Oct 24, 2018 at 11:00 in De Bruijn
Colored local type inference

Moderator: Casper

Wed, Oct 17, 2018 at 11:00 in De Bruijn
Wed, Oct 10, 2018 at 11:00 in De Bruijn
Wed, Oct 03, 2018 at 11:00 in De Bruijn
Wed, Sep 26, 2018 at 11:00 in De Bruijn
ML in ATAPL

Moderator: Eelco

Wed, Sep 19, 2018 at 11:00 in De Bruijn
Ornamental algebras,algebraic ornaments,C. McBride

Moderator: Arjen

Wed, Sep 12, 2018 at 11:00 in De Bruijn
Wed, Sep 05, 2018 at 11:00 in De Bruijn
Wed, Jun 13, 2018 at 11:00 in De Bruijn
We should Stop Claiming Generality in our Domain-Specific Language Papers

Moderator: Daco

Wed, May 30, 2018 at 11:00 in De Bruijn
Wed, May 23, 2018 at 11:00 in De Bruijn
Wed, May 16, 2018 at 11:00 in De Bruijn
Wed, May 09, 2018 at 11:00 in De Bruijn
Wed, May 02, 2018 at 11:00 in De Bruijn
Wed, Apr 25, 2018 at 11:00 in De Bruijn
Bonsai: Synthesis-Based Reasoning for Type Systems

Moderator: Eelco

Wed, Apr 04, 2018 at 11:00 in De Bruijn
Natural and Flexible Error Recovery for Generated Modular Language Environments

Moderator: Jasper

Wed, Mar 28, 2018 at 11:00 in De Bruijn
Wed, Mar 21, 2018 at 11:00 in De Bruijn
Wed, Mar 14, 2018 at 11:00 in De Bruijn
Wed, Mar 07, 2018 at 11:00 in De Bruijn
Wed, Feb 28, 2018 at 11:00 in De Bruijn
Visit by Wouter Swierstra and Victor Miraldo from Utrecht,seminar talk by Victor
Wed, Feb 21, 2018 at 11:00 in De Bruijn
Wed, Feb 14, 2018 at 11:00 in De Bruijn
Wed, Feb 07, 2018 at 11:00 in De Bruijn
Wed, Jan 31, 2018 at 11:00 in De Bruijn
Wed, Jan 24, 2018 at 11:00 in De Bruijn
Defense Jasper
Wed, Jan 17, 2018 at 11:00 in De Bruijn

Moderator: Tamas

Wed, Dec 20, 2017 at 11:00 in De Bruijn
Wed, Dec 13, 2017 at 11:00 in De Bruijn
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes

Moderator: Guido

Wed, Dec 06, 2017 at 11:00 in De Bruijn
Wed, Nov 29, 2017 at 11:00 in De Bruijn

Moderator: Arjen

Wed, Nov 22, 2017 at 11:00 in De Bruijn
Wed, Nov 15, 2017 at 11:00 in De Bruijn
Wed, Nov 08, 2017 at 11:00 in De Bruijn
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Moderator: Eelco

Wed, Nov 01, 2017 at 11:00 in De Bruijn
Sven
Wed, Oct 18, 2017 at 11:00 in De Bruijn
Wed, Oct 11, 2017 at 11:00 in De Bruijn
Restricting Grammars with Tree Automata

Moderator: Eduardo

Wed, Oct 04, 2017 at 11:00 in De Bruijn
Wed, Sep 27, 2017 at 11:00 in De Bruijn
Do Be Do Be Do

Moderator: Casper

Wed, Sep 20, 2017 at 11:00 in De Bruijn
Wed, Sep 13, 2017 at 11:00 in De Bruijn
POSTPONED

Moderator: Arjen

http://gupta.xor.ucsd.edu/site/pubs/Kundu_PLDI09.pdf

Wed, Jun 28, 2017 at 11:00 in De Bruijn
Wed, May 31, 2017 at 11:00 in De Bruijn
Wed, May 24, 2017 at 11:00 in De Bruijn
Wed, May 17, 2017 at 11:00 in De Bruijn
Wed, May 10, 2017 at 11:00 in De Bruijn
A Program Optimization for Automatic Database Result Caching

Moderator: Daco

Wed, May 03, 2017 at 11:00 in De Bruijn
Modules,abstraction,and parametric polymorphism

Moderator: Eelco

Wed, Apr 26, 2017 at 11:00 in De Bruijn
Wed, Apr 19, 2017 at 11:00 in De Bruijn
No reading group,talk by Sylvia Grewe
Wed, Apr 12, 2017 at 11:00 in De Bruijn
No reading group,OOPSLA deadline
Wed, Apr 05, 2017 at 11:00 in De Bruijn
Beginner’s Luck: A language for property-based generators

Moderator: Hendrik

Wed, Mar 29, 2017 at 11:00 in De Bruijn
No reading group,talk by Eelco
Wed, Mar 22, 2017 at 11:00 in De Bruijn
Dijkstra Monads for Free

Moderator: Robbert

Wed, Mar 15, 2017 at 11:00 in De Bruijn
Type Directed Compilation of Row-Typed Algebraic Effects

Moderator: Casper

Wed, Mar 08, 2017 at 11:00 in De Bruijn
Wed, Mar 01, 2017 at 11:00 in De Bruijn
Type soundness proofs with definitional interpreters

Moderator: Arjen

Wed, Feb 22, 2017 at 11:00 in De Bruijn
A Posteriori Environment Analysis with Pushdown Delta CFA

Moderator: Jeff

Wed, Feb 08, 2017 at 11:00 in De Bruijn
LMS-Verify: abstraction without regret for verified systems programming

Moderator: Michael

Wed, Feb 01, 2017 at 11:00 in De Bruijn
Wed, Dec 21, 2016 at 11:00 in De Bruijn
Wed, Dec 14, 2016 at 11:00 in De Bruijn
Wed, Dec 07, 2016 at 11:00 in De Bruijn
Wed, Nov 30, 2016 at 11:00 in De Bruijn
Wed, Nov 23, 2016 at 11:00 in De Bruijn
Calculating correct compilers

Moderator: Casper

Wed, Nov 16, 2016 at 11:00 in De Bruijn
Thu, Nov 10, 2016 at 11:00 in De Bruijn
Thu, Oct 27, 2016 at 11:00 in De Bruijn
Thu, Oct 20, 2016 at 11:00 in De Bruijn
Thu, Oct 13, 2016 at 11:00 in De Bruijn
Thu, Oct 06, 2016 at 11:00 in De Bruijn
Thu, Sep 29, 2016 at 11:00 in De Bruijn
Thu, Sep 22, 2016 at 11:00 in De Bruijn
Thu, Sep 15, 2016 at 11:00 in De Bruijn
Thu, Sep 08, 2016 at 11:00 in De Bruijn
Thu, Sep 01, 2016 at 11:00 in De Bruijn
Thu, Aug 25, 2016 at 11:00 in De Bruijn
Refactoring Using Type Constraints

Moderator: Sebastian

Thu, Jul 07, 2016 at 11:00 in De Bruijn
Thu, Jun 23, 2016 at 11:00 in De Bruijn
Self: The Power of Simplicity

Moderator: Hendrik

Thu, Jun 16, 2016 at 11:00 in De Bruijn
Thu, Jun 09, 2016 at 11:00 in De Bruijn
Thu, Jun 02, 2016 at 11:00 in De Bruijn
Thu, May 26, 2016 at 11:00 in De Bruijn
Thu, May 19, 2016 at 11:00 in De Bruijn
Wed, May 11, 2016 at 11:00 in De Bruijn
The K Primer (version 3.3)

Moderator: Casper

Tue, May 03, 2016 at 11:00 in De Bruijn
Tue, Apr 26, 2016 at 11:00 in De Bruijn
Tue, Apr 19, 2016 at 11:00 in De Bruijn
Tue, Apr 12, 2016 at 11:00 in De Bruijn
iThreads: A threading library for parallel incremental computation

Moderator: Sebastian

As the authors themselves suggest,we should skip Section 3.