Henrik Barthels

According to our database, Henrik Barthels authored at least 18 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Linnea: a compiler for mapping linear algebra problems onto high-performance kernel libraries.

Henrik Barthels

PhD thesis, 2022

The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries.

Christos Psarras, Henrik Barthels, Paolo Bientinesi

ACM Trans. Math. Softw., 2022

MOM: Matrix Operations in MLIR.

Lorenzo Chelini, Henrik Barthels, Paolo Bientinesi, Marcin Copik, Tobias Grosser, Daniele G. Spampinato

CoRR, 2022

2021

Linnea: Automatic Generation of Efficient Linear Algebra Programs.

Henrik Barthels, Christos Psarras, Paolo Bientinesi

ACM Trans. Math. Softw., 2021

2020

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs.

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

CoRR, 2020

Automatic Generation of Efficient Linear Algebra Programs.

Henrik Barthels, Christos Psarras, Paolo Bientinesi

Proceedings of the PASC '20: Platform for Advanced Scientific Computing Conference, Geneva, Switzerland, June 29, 2020

Fireiron: A Data-Movement-Aware Scheduling Language for GPUs.

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

2019

The Linear Algebra Mapping Problem.

Christos Psarras, Henrik Barthels, Paolo Bientinesi

CoRR, 2019

Swizzle Inventor: Data Movement Synthesis for GPU Kernels.

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

MatchPy: Pattern Matching in Python.

Manuel Krebber, Henrik Barthels

J. Open Source Softw., 2018

The generalized matrix chain algorithm.

Henrik Barthels, Marcin Copik, Paolo Bientinesi

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017

Systematic Generation of Algorithms for Iterative Methods.

Henrik Barthels

CoRR, 2017

MatchPy: A Pattern Matching Library.

Manuel Krebber, Henrik Barthels, Paolo Bientinesi

Proceedings of the 16th Python in Science Conference 2017, 2017

Efficient Pattern Matching in Python.

Manuel Krebber, Henrik Barthels, Paolo Bientinesi

Proceedings of the 7th Workshop on Python for High-Performance and Scientific Computing, 2017

Linnea: Compiling Linear Algebra Expressions to High-Performance Code.

Henrik Barthels, Paolo Bientinesi

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

2016

The Matrix Chain Algorithm to Compile Linear Algebra Expressions.

Henrik Barthels, Paolo Bientinesi

CoRR, 2016

A compiler for linear algebra operations.

Henrik Barthels

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2011

Juggrnaut - An Abstract JVM.

Jonathan Heinen, Henrik Barthels, Christina Jansen

Proceedings of the Formal Verification of Object-Oriented Software, 2011