​
Login / Signup
Johannes Lenfers
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Optimization Strategies
Scientific Computing
Small Sized
Bayesian Formulation
Top Venues
CoRR
Proc. ACM Program. Lang.
Commun. ACM
ASPLOS (4)
</>
Publications
</>
Bastian Hagedorn
,
Johannes Lenfers
,
Thomas Koehler
,
Xueying Qin
,
Sergei Gorlatch
,
Michel Steuwer
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.
Commun. ACM
66 (3) (2023)
Erik Orm Hellsten
,
Artur L. F. Souza
,
Johannes Lenfers
,
Rubens Lacouture
,
Olivia Hsu
,
Adel Ejjeh
,
Fredrik Kjolstad
,
Michel Steuwer
,
Kunle Olukotun
,
Luigi Nardi
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework.
ASPLOS (4)
(2023)
Erik Hellsten
,
Artur L. F. Souza
,
Johannes Lenfers
,
Rubens Lacouture
,
Olivia Hsu
,
Adel Ejjeh
,
Fredrik Kjolstad
,
Michel Steuwer
,
Kunle Olukotun
,
Luigi Nardi
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework.
CoRR
(2022)
Bastian Hagedorn
,
Johannes Lenfers
,
Thomas Koehler
,
Sergei Gorlatch
,
Michel Steuwer
A Language for Describing Optimization Strategies.
CoRR
(2020)
Bastian Hagedorn
,
Johannes Lenfers
,
Thomas Koehler
,
Xueying Qin
,
Sergei Gorlatch
,
Michel Steuwer
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies.
Proc. ACM Program. Lang.
4 (ICFP) (2020)