16 citations · 44 across the 9 of their papers we have counts for
4 papers · 1 filter
MOM: Matrix Operations in MLIR
Lorenzo Chelini, Henrik Barthels, Paolo Bientinesi +3
Modern research in code generators for dense linear algebra computations has shown the ability to produce optimized code with a performance which compares and often exceeds the one…
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs
Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels +2
Achieving high-performance GPU kernels requires optimizing algorithm implementations to the targeted GPU architecture. It is of utmost importance to fully use the compute and memor…
MatchPy: A Pattern Matching Library
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstra…
Efficient Pattern Matching in Python
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax tre…