I am Professor for Programming Languages and Compilers at the University of Goettingen, Germany. I work on programming languages and compilers, with a focus on intermediate representations, type systems, partial evaluation, and high-performance systems.

• 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