Forschungsschwerpunkte
Funktionale Compiler Techniken
http://www.lift-project.org/
Strukturierte Parallele Programmierung
High-Level Programming Abstractions
Vita
Akademische Ausbildung
- Promotionsstudiengang Informatik
- Master of Science in Informatik
- Bachelor of Science in Informatik
Beruflicher Werdegang
- Forschungsaufenthalt an der University of Edinburgh
- Forschungsaufenthalt an der University of Edinburgh
- Forschungsaufenthalt an der University of Edinburgh
- Wissenschaftlicher Mitarbeiter an der Universität Münster
- Studentische Hilfskraft an der Universität Münster
- Forschungsaufenthalt and der HUST University Wuhan, China
Lehre
- Projektseminar: Projektseminar: Eine Programmiersprache zur sicheren Programmierung von GPUs: Entwicklung und Evaluation des Descend-Compilers [102058]
(zusammen mit Bastian Köpcke, Sergei Gorlatch und Florian Fey)
- Projektseminar: Projektseminar: Code-Generierung und -Optimierung für Deep-Learning-Anwendungen auf modernen Prozessoren [100067]
(zusammen mit Richard Schulze, Sergei Gorlatch und Florian Fey)
- V/Ü: Parallele Systeme [108065]
(zusammen mit Johannes Lenfers und Sergei Gorlatch)
- V/Ü: Multi-core und GPU: Parallele Programmierung [106059]
(zusammen mit Ari Rasch und Sergei Gorlatch) - Vorlesung/Praktikum: Einführung in C/C++ [106058]
(zusammen mit Bastian Köpcke)
- V/Ü: Einführung in Java [104060]
(zusammen mit Ari Rasch und Herbert Kuchen) - V/Ü: Betriebssysteme [104061]
(zusammen mit Dietmar Lammers)
- V/Ü: Multi-core und GPU: Parallele Programmierung [102057]
(zusammen mit Sergei Gorlatch) - Vorlesung/Praktikum: Einführung in C/C++ [102056]
- V/Ü: Betriebssysteme [100059]
(zusammen mit Sergei Gorlatch) - V/Ü: Einführung in Java [100061]
(zusammen mit Jan Vahrenhold)
- Vorlesung/Praktikum: Einführung in C/C++ [108352]
(zusammen mit Ari Rasch) - Projektseminar: Projektseminar: Automatische Programm-Optimierung für Moderne Many-Core Systeme [108351]
(zusammen mit Ari Rasch und Sergei Gorlatch)
- V/Ü: Betriebssysteme [106180]
(zusammen mit Sergei Gorlatch)
Publikationen
- Hagedorn, Bastian Lenfers Johannes, Koehler, Thomas Qin Xueying, und 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, Bd. ICFP aus 4 USA.
- Hagedorn, B, Stoltzfus, L, Steuwer, M, Gorlatch, S, und 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., und Gorlatch, S. . „A Transformation-Based Approach to Developing High-Performance GPU Programs.“ In Bd. null aus 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, und Gorlatch, Sergei. . „Towards Efficient Multicast Communication in Software-Defined Networks.“ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), herausgegeben von IEEE. Nara: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
- Haidl, M, Hagedorn, B, und Gorlatch, S. . „Programming GPUs with C++14 and Just-In-Time Compilation.“ In Bd. 27 aus 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, und Vossen, Gottfried. . „High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists.“ Beitrag präsentiert auf der BTW 2015, Hamburg, Deutschland
- Stahl, F, Godde, A, Hagedorn, B, Köpcke, B, Rehberger, M, und Vossen, G. . „Implementing the WiPo Architecture.“ ERCIS Working Papers Nr. 20. Münster: ERCIS - European Research Center for Information Systems.
- Stahl, F, Godde, A, Hagedorn, B, Köpcke, B, Rehberger, M, und Vossen, G. . „Implementing the WiPo Architecture.“ Beitrag präsentiert auf der EC Web, München