Compiling pattern matching to in-place modificationsVirtual
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 OctDisplayed 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 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
11:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
11:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:35 8mTalk | 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 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
11:51 19mLive 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 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
19:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
19:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:35 8mTalk | 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 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
19:51 19mLive Q&A | Discussion, Questions and Answers SLE |