GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Mon 18 Oct 2021 11:43 - 11:51 at Zurich C - SLE/GPCE Session 6 Chair(s): Vadim Zaytsev
Mon 18 Oct 2021 19:43 - 19:51 at Zurich C - SLE/GPCE Session 6 Chair(s): Ran Wei, Paddy Krishnan

Algebraic data types and pattern matching are extremely productive to build programs on complex datastructures in a safe yet efficient manner. There is a rich literature on how to compile them efficiently in the context of immutable use in functional programming languages.

However, in the context of high-performance datastructures and languages allowing (controlled) mutations, we would like to describe efficient \emph{in-place} transformations of tree-like structures such as ADTs. Additionally, such transformations should take advantage of parallelism opportunities that naturally appear in such tree-like structures.

We present early steps towards a new technique to compile pattern matching as parallel in-place modifications of the underlying memory representation. Towards this goal, we combine the usual language approach common in pattern-matching compilation with tools from the polyhedral model, which is commonly used in high-performance code generation to output efficient C code. We present our formalism, along with a prototype implementation.

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
SLE/GPCE Session 6SLE / GPCE at Zurich C +8h
Chair(s): Vadim Zaytsev University of Twente, Netherlands
10:50
15m
Talk
Fast Incremental PEG ParsingVirtual
SLE
Zachary Yedidia Harvard University, Stephen Chong Harvard University
11:05
15m
Talk
Faster Reachability Analysis for LR(1) ParsersVirtual
SLE
Frédéric Bour Tarides, François Pottier Inria, France
11:20
15m
Talk
Automatic Grammar RepairVirtual
SLE
Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
11:35
8m
Talk
Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual
SLE
Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
11:43
8m
Talk
Compiling pattern matching to in-place modificationsVirtual
GPCE
Paul Iannetta ENS Lyon, Laure Gonnord University of Lyon & LIP, France, Gabriel Radanne Inria
11:51
19m
Live Q&A
Discussion, Questions and Answers
SLE

18:50 - 20:10
SLE/GPCE Session 6GPCE / SLE at Zurich C
Chair(s): Ran Wei Dalian University of Technology, Paddy Krishnan Oracle Labs, Australia
18:50
15m
Talk
Fast Incremental PEG ParsingVirtual
SLE
Zachary Yedidia Harvard University, Stephen Chong Harvard University
19:05
15m
Talk
Faster Reachability Analysis for LR(1) ParsersVirtual
SLE
Frédéric Bour Tarides, François Pottier Inria, France
19:20
15m
Talk
Automatic Grammar RepairVirtual
SLE
Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
19:35
8m
Talk
Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual
SLE
Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
19:43
8m
Talk
Compiling pattern matching to in-place modificationsVirtual
GPCE
Paul Iannetta ENS Lyon, Laure Gonnord University of Lyon & LIP, France, Gabriel Radanne Inria
19:51
19m
Live Q&A
Discussion, Questions and Answers
SLE