SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 11:37 - 12:00 at Seminar Room G100 - GPCE Session 2 Chair(s): Atsushi Igarashi

Racket provides for loops with macro-extensible sequence expressions.
Sequence macros offer better performance than dynamic sequence implementations, but they are complicated to define and Racket offers little support for creating new sequence macros by combining existing ones. In this paper, we develop such support in the form of sequence combinator macros and a general comprehension form. These utilities are implemented by manipulating compile-time records that contain binders and expressions; the binding relationships between the components are not trivial. We discuss how to diagnose and solve type and scoping problems in our implementation.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
GPCE Session 2GPCE at Seminar Room G100
Chair(s): Atsushi Igarashi Kyoto University
10:30
22m
Talk
Incremental Processing of Structured Data in DatalogVirtual
GPCE
André Pacak JGU Mainz, Tamás Szabó GitHub, Sebastian Erdweg JGU Mainz
DOI
10:52
22m
Talk
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingVirtual
GPCE
Guilherme Espada University of Lisbon, Leon Ingelse University of Lisbon, Paulo Canelas University of Lisbon; Carnegie Mellon University, Pedro Barbosa University of Lisbon; Instituto de Medicina Molecular, Alcides Fonseca University of Lisbon
DOI
11:15
22m
Talk
Deep Fusion for Efficient Nested Recursive ComputationsVirtual
GPCE
Amir Shaikhha University of Edinburgh
DOI
11:37
22m
Talk
Composable Sequence Macros for Fast IterationVirtual
GPCE
Anna Bolotina Czech Technical University in Prague, Ryan Culpepper Czech Technical University in Prague
DOI