Prof. Dr. Roland Leißa
Juniorprofessur für Programmiersprachen und Compilerdesign

Der Fokus dieser Gruppe liegt auf der Entwicklung innovativer Programmiersprachen und Compiler, die eine Programmierung portabler und hochperformanter Anwendungen für moderne Computerarchitekturen ermöglichen. Dabei konzentrieren wir uns insbesondere auf verschiedene Formen der Parallelisierung. Gerade vor dem Hintergrund einer stetig heterogener werdenden Rechnerlandschaft sind solche Werkzeuge von außerordentlicher Bedeutung. Unsere Arbeit legt großen Wert darauf, konkrete Anwendungsprobleme aus Industrie und Forschung wie beispielsweise Simulationssoftware mit theoretisch fundierten Methoden zu abstrahieren und dadurch übergeordnete und wiederverwendbare Lösungsansätze zu schaffen.
Forschungsinteressen
- Zwischendarstellungen in Compilern
- Programmoptimierungen
- Automatische Parallelisierung
- Domänenspezifische Sprachen
Lehre
Frühjahrs-/Sommersemester 2024
- Parallel Programming
Herbst-/Wintersemester 2023
- Compiler Construction
Frühjahrs-/Sommersemester 2023
- Computer Graphics
Herbst-/Wintersemester 2022
- Types and Programming Languages
Frühjahrs-/Sommersemester 2022
- Parallel Programming
Herbst-/Wintersemester 2021
- Compiler Construction
Publikationen
2025
- Leißa, R., Ullrich, M., Meyer, J. and Hack, S. (2025). MimIR: an extensible and type-safe intermediate representation for the DSL age. Proceedings of the ACM on programming languages : PACMPL, 9, 95–125.
2022
- Müller, A., Schmidt, B., Membarth, R., Leißa, R. and Hack, S. (2022). AnySeq/
GPU: a novel approach for faster sequence alignment on GPUs. In , Proceedings of the 36th ACM International Conference on Supercomputing (ICS' 22) (S. 1–11). , Association for Computing Machinery: New York.
2021
- Amiri, P., Pérard-Gayot, A., Membarth, R., Slusallek, P., Leißa, R. and Hack, S. (2021). FLOWER: A comprehensive dataflow compiler for high-level synthesis. In , 2021 International Conference on Field-Programmable Technolgy : ICFPT (S. 1–9). , IEEE: Piscataway, NJ.
- Machado, R. R. L., Schmitt, J., Eibl, S., Eitzinger, J., Leißa, R., Hack, S., Pérard-Gayot, A., Membarth, R. and Köstler, H. (2021). TinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation. Journal of Computational Science, 54, 111.
2020
- Müller, A., Schmidt, B., Hildebrandt, A., Membarth, R., Leißa, R., Kruse, M. and Hack, S. (2020). AnySeq: A high performance sequence alignment library based on partial evaluation. In , 2020 IEEE 34th International Parallel and Distributed Processing Symposium : proceedings, 18–22 May 2020, New Orleans, Louisiana (S. 1030-1040). , IEEE Computer Society: Los Alamitos, CA.
- Özkan, M. A., Pérard-Gayot, A., Membarth, R., Slusallek, P., Leißa, R., Hack, S., Teich, J. and Hannig, F. (2020). AnyHLS: High-level synthesis with partial evaluation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems : CAD, 39, 3202-3214.
2019
- Pérard-Gayot, A., Membarth, R., Leißa, R., Hack, S. and Slusallek, P. (2019). Rodent: Generating renderers without writing a generator. ACM Transactions on Graphics : TOG, 38, 1–12.
2018
- Leißa, R., Boesche, K., Hack, S., Pérard-Gayot, A., Membarth, R., Slusallek, P., Müller, A. and Schmidt, B. (2018). AnyDSL: A partial evaluation framework for programming high-performance libraries. Proceedings of the ACM on programming languages : PACMPL, 2, 1–30.
- Pérard-Gayot, A., Membarth, R., Slusallek, P., Moll, S., Leißa, R. and Hack, S. (2018). A data layout transformation for vectorizing compilers.
In , WPMVP 2018 : Proceedings of the 2018 4th Workshop on Programming Models for SIMD/
Vector Processing, co-located with PPoPP' 18, Vienna, Austria, March 13, 2018 (S. 1–8). , ACM: New York, NY.
2017
- Pérard-Gayot, A., Weier, M., Membarth, R., Slusallek, P., Leißa, R. and Hack, S. (2017). RaTrace: simple and efficient abstractions for BVH ray traversal algorithms. In , Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (S. 157–168). , ACM: New York, NY.
2016
- Leißa, R., Boesche, K., Hack, S., Membarth, R. and Slusallek, P. (2016). Shallow embedding of DSLs via online partial evaluation. In , GPCE'15 : proceedings of the 2015 ACM SIGPLAN International Conference on Generative programming: concepts and experiences : October 26–27, 2015, Pittsburgh, PA, USA (S. 11–20). SIGPLAN notices, ACM: New York, NY.
2015
- Leißa, R., Köster, M. and Hack, S. (2015). A graph-based higher-order intermediate representation.
In , Proceedings of the 2015 IEEE/
ACM International Symposium on Code Generation and Optimization (CGO), Febraury 7-11-2015, San Francisco, CA, USA (S. 202–212). , IEEE: Piscataway, NJ.
2014
- Danilewski, P., Köster, M., Leißa, R., Membarth, R. and Slusallek, P. (2014). Specialization through dynamic staging. In , 13th International Conference on Generative Programming: Concepts and Experiences (GPCE) : proceedings (S. 103–112). SIGPLAN notices, ACM: New York, NY.
- Köster, M., Leißa, R., Hack, S., Membarth, R. and Slusallek, P. (2014). Code refinement of stencil codes. Parallel Processing Letters : PPL, 24.
- Leißa, R., Haffner, I. and Hack, S. (2014). Sierra: A SIMD extension for C++.
In , WPMVP '14 : Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Models for SIMD/
Vector Processing, February 16, 014, Orlando, Florida, USA (S. 17–24). , ACM: New York, NY. - Membarth, R., Slusallek, P., Köster, M., Leißa, R. and Hack, S. (2014). Target-specific refinement of multigrid codes. In , Proceedings of WOLFHPC 2014: Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing : proceedings (S. 52–57). , ACM: New York, NY.
2013
- Braun, M., Buchwald, S., Hack, S., Leißa, R., Mallon, C. and Zwinkau, A. (2013). Simple and efficient construction of static single assignment form. In , Compiler Construction : 22nd International onference, CC 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16–24, 2013, proceedings (S. 102–122). Lecture Notes in Computer Science, Springer: Berlin [u.a.].
2012
- Leißa, R., Hack, S. and Wald, I. (2012). Extending a C-like language for portable SIMD programming. In , Proceedings of the 2012 ACM SIGPLAN Sympostium on Principles and Practice of Parallel Programming : PPoPP'12, February 25–29, 2012, New Orleans, LA, USA (S. 65–74). SIGPLAN notices, ACM: New York, NY.
