1 citations · 1 across the 1 of their papers we have counts for
3 papers · 1 filter
Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
Michael Schifferer, Marcel Ullrich, Sebastian Hack
Equality Saturation (EqSat) is a powerful technique for program optimization, systematically exploring the search space of candidate programs to overcome the phase ordering problem…
Associativity and Commutativity in Equality Saturation
Tarik Rosin, Marcel Ullrich, Sebastian Hack
Equality saturation is a promising technique for program optimization which sidesteps the phase ordering problem. However, current e-graph implementations grow exponentially large,…
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
Roland Leißa, Marcel Ulrich, Joachim Meyer +1
Traditional compilers, designed for optimizing low-level code, fall short when dealing with modern, computation-heavy applications like image processing, machine learning, or numer…