New report: Generic Combinators for Monoid Nesting in Futhark
15 September 2026
My new DIKU technical report, Generic Combinators for Monoid Nesting in Futhark, explores how to combine parsing and aggregation into a single parallel query.
The library builds larger queries from small components, using associative operations that let different parts of the input be processed in parallel. It handles numbers, delimiter-separated groups, and parentheses with a fixed nesting bound, without building syntax trees or intermediate sequences. Correctness proofs support the constructions, while CPU and GPU experiments show how the choice of representation and the way input is divided into blocks affect performance.