Research Foci
Functional Compilation Techniques
http://www.lift-project.org/
Structured Parallel Programming
High-Level Programming Abstractions
CV
Academic Education
- Ph.D. studies
- Master of Science in computer science
- Bachelor of Science in computer science
Positions
- Visiting researcher at the University of Edinburgh
- Visiting researcher at the University of Edinburgh
- Visiting researcher at the University of Edinburgh
- Research Associate at the University of Münster
- Student Assistant at the University of Münster
- Visiting researcher at the HUST University Wuhan, China
Teaching
- Project seminar: Projektseminar: Eine Programmiersprache zur sicheren Programmierung von GPUs: Entwicklung und Evaluation des Descend-Compilers [102058]
(in cooperation with Bastian Köpcke, Sergei Gorlatch and Florian Fey)
- Project seminar: Projektseminar: Code-Generierung und -Optimierung für Deep-Learning-Anwendungen auf modernen Prozessoren [100067]
(in cooperation with Richard Schulze, Sergei Gorlatch and Florian Fey)
- V/Ü: Parallele Systeme [108065]
(in cooperation with Johannes Lenfers and Sergei Gorlatch)
- V/Ü: Multi-core und GPU: Parallele Programmierung [106059]
(in cooperation with Ari Rasch and Sergei Gorlatch) - Lecture/Practical: Einführung in C/C++ [106058]
(in cooperation with Bastian Köpcke)
- V/Ü: Einführung in Java [104060]
(in cooperation with Ari Rasch and Herbert Kuchen) - V/Ü: Betriebssysteme [104061]
(in cooperation with Dietmar Lammers)
- V/Ü: Multi-core und GPU: Parallele Programmierung [102057]
(in cooperation with Sergei Gorlatch) - Lecture/Practical: Einführung in C/C++ [102056]
- V/Ü: Betriebssysteme [100059]
(in cooperation with Sergei Gorlatch) - V/Ü: Einführung in Java [100061]
(in cooperation with Jan Vahrenhold)
- Lecture/Practical: Einführung in C/C++ [108352]
(in cooperation with Ari Rasch) - Project seminar: Projektseminar: Automatische Programm-Optimierung für Moderne Many-Core Systeme [108351]
(in cooperation with Ari Rasch and Sergei Gorlatch)
- V/Ü: Betriebssysteme [106180]
(in cooperation with Sergei Gorlatch)
Publications
- Hagedorn, Bastian Lenfers Johannes, Koehler, Thomas Qin Xueying, and Gorlatch, Sergei Steuwer Michel. . “Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies.” in Proceedings of the ACM on Programming Languages, Vol. ICFP of 4 USA.
- Hagedorn, B, Stoltzfus, L, Steuwer, M, Gorlatch, S, and Dubach, C. . “High Performance Stencil Code Generation with Lift.” in Proceedings of the 2018 International Symposium on Code Generation and Optimization, {CGO} 2018, Vössendorf / Vienna, Austria, February 24-28, 2018 doi: 10.1145/3168824.
- Hagedorn, B., Steuwer, M., and Gorlatch, S. . “A Transformation-Based Approach to Developing High-Performance GPU Programs.” in Vol. null of Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-74313-4_14.
- Humernbrum, Tim, Hagedorn, Bastian, and Gorlatch, Sergei. . “Towards Efficient Multicast Communication in Software-Defined Networks.” in 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), edited by IEEE. Nara: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
- Haidl, M, Hagedorn, B, and Gorlatch, S. . “Programming GPUs with C++14 and Just-In-Time Compilation.” in Vol. 27 of Advances in Parallel Computing Amsterdam, Netherlands: IOP Publishing. doi: 10.3233/978-1-61499-621-7-247.
- Stahl, Florian, Godde, Adrian, Hagedorn, Bastian, Köpcke, Bastian, Rehberger, Martin, and Vossen, Gottfried. . “High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists.” contribution to the BTW 2015, Hamburg, Deutschland
- Stahl, F, Godde, A, Hagedorn, B, Köpcke, B, Rehberger, M, and Vossen, G. . “Implementing the WiPo Architecture.” ERCIS Working Papers № 20. Münster: ERCIS - European Research Center for Information Systems.
- Stahl, F, Godde, A, Hagedorn, B, Köpcke, B, Rehberger, M, and Vossen, G. . “Implementing the WiPo Architecture.” contribution to the EC Web, München