Publications

SSA without Dominance for Higher-Order Programs
Roland Leißa, Johannes Griebler

MimIrADe: Automatic Differentiation in MimIR
Marcel Ullrich, Sebastian Hack, Roland Leißa
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
Roland Leißa, Marcel Ullrich, Joachim Meyer, Sebastian Hack

Preparing Reproducible Scientific Artifacts using Docker
Michael Canesche, Roland Leißa, Fernando Magno Quintão Pereira

AnySeq/GPU: a novel approach for faster sequence alignment on GPUs
André Müller, Bertil Schmidt, Richard Membarth, Roland Leißa, Sebastian Hack

tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation
Rafael Ravedutti L. Machado, Jonas Schmitt, Sebastian Eibl, Jan Eitzinger, Roland Leißa, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Harald Köstler
FLOWER: A comprehensive dataflow compiler for high-level synthesis
Puya Amiri, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack

AnyHLS: High-Level Synthesis With Partial Evaluation
M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack, Jürgen Teich, Frank Hannig
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation
André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack

Rodent: generating renderers without writing a generator
Arsène Pérard-Gayot, Richard Membarth, Roland Leißa, Sebastian Hack, Philipp Slusallek

AnyDSL: a partial evaluation framework for programming high-performance libraries
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, Bertil Schmidt
A Data Layout Transformation for Vectorizing Compilers
Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Simon Moll, Roland Leißa, Sebastian Hack

Language Support for Programming High-Performance Code
Roland Leißa
RaTrace: simple and efficient abstractions for BVH ray traversal algorithms
Arsène Pérard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack

A graph-based higher-order intermediate representation
Roland Leißa, Marcel Köster, Sebastian Hack
Shallow embedding of DSLs via online partial evaluation
Roland Leißa, Klaas Boesche, Sebastian Hack, Richard Membarth, Philipp Slusallek

Code Refinement of Stencil Codes
Marcel Köster, Roland Leißa, Sebastian Hack, Richard Membarth, Philipp Slusallek
Specialization through dynamic staging
Piotr Danilewski, Marcel Köster, Roland Leißa, Richard Membarth, Philipp Slusallek
Sierra: a SIMD extension for C++
Roland Leißa, Immanuel Haffner, Sebastian Hack
Target-specific refinement of multigrid codes
Richard Membarth, Philipp Slusallek, Marcel Köster, Roland Leißa, Sebastian Hack:

Simple and Efficient Construction of Static Single Assignment Form
Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau

Extending a C-like language for portable SIMD programming
Roland Leißa, Sebastian Hack, Ingo Wald