Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup

T Fruehwirth - arXiv preprint arXiv:2307.02180, 2023 - arxiv.org
We introduce a just-in-time runtime program transformation based on repeated recursion
unfolding. Our online polyvariant program specialization generates several versions of a …

Repeated Recursion Unfolding for Super-Linear Speedup within Bounds

T Fruehwirth - arXiv preprint arXiv:2009.05314, 2020 - arxiv.org
Repeated recursion unfolding is a new approach that repeatedly unfolds a recursion with
itself and simplifies it while keeping all unfolded rules. Each unfolding doubles the number …

The Next 700 Program Transformers

G Hamilton - International Symposium on Logic-Based Program …, 2021 - Springer
In this paper, we describe a hierarchy of program transformers, capable of performing fusion
to eliminate intermediate data structures, in which the transformer at each level of the …