Prof. Dr. Roland Leißa
Juniorprofessur für Programmiersprachen und Compilerdesign
The focus of this group is the development of innovative programming languages and compilers that enable the programming of portable and high-performance applications for modern computer architectures. We focus in particular on various forms of parallelization. As our computing landscape becomes more and more heterogeneous, such tools are exceedingly important. Our work attaches great importance to abstracting concrete application problems from industry and research such as simulation software with theoretically sound methods and thereby creating higher-level and reusable solutions.
Research Interests
- Intermediate Representations in Compilers
- Program Optimizations
- Automatic Parallelization
- Domain-Specific Languages
Teaching
Spring-/Summer Term 2024
- Parallel Programming
Fall-/Winter Term 2023
- Compiler Construction
Spring-/Summer Term 2023
- Computer Graphics
Fall-/Winter Term 2022
- Types and Programming Languages
Spring-/Summer Term 2022
- Parallel Programming
Fall-/Winter Term 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.
- Ullrich, M., Hack, S. and Leißa, R. (2025). MimIrADe: Automatic Differentiation in MimIR. In , CC'25 : proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (S. 70–80). , ACM: New York, NY.
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.
Prof. Dr. Roland Leißa
Juniorprofessor for Programming Languages and Compilerdesign
University of Mannheim
School of Business Informatics and Mathematics
B 6, 26 – Room B 0.15
68159 Mannheim
School of Business Informatics and Mathematics
B 6, 26 – Room B 0.15
68159 Mannheim
Phone: +49 621 181-2602
E-mail: leissauni-mannheim.de
Web: www.wim.uni-mannheim.de/en/leissa
ORCID iD: 0000-0002-2444-6782
E-mail: leissauni-mannheim.de
Web: www.wim.uni-mannheim.de/en/leissa
ORCID iD: 0000-0002-2444-6782
Consultation hour(s):
by Appointment
by Appointment