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
- Wissenschaftlicher Mitarbeiter an der Universität Münster
- Forschungsaufenthalt an der University of Edinburgh
- Forschungsaufenthalt an der University of Edinburgh
- Forschungsaufenthalt an der University of Edinburgh
- Studentische Hilfskraft an der Universität Münster
- Forschungsaufenthalt and der HUST University Wuhan, China
-
Lehre
- Projektseminar: Eine Programmiersprache zur sicheren Programmierung von GPUs: Entwicklung und Evaluation des Descend-Compilers [102058]
(zusammen mit Prof. Dr. Sergei Gorlatch, Florian Fey, Bastian Köpcke)
- Projektseminar: Code-Generierung und -Optimierung für Deep-Learning-Anwendungen auf modernen Prozessoren [100067]
(zusammen mit Prof. Dr. Sergei Gorlatch, Richard Schulze, Florian Fey)
- V/Ü: Parallele Systeme [108065]
(zusammen mit Prof. Dr. Sergei Gorlatch, Johannes Lenfers)
- Vorlesung/Praktikum: Einführung in C/C++ [106058]
(zusammen mit Bastian Köpcke) - V/Ü: Multi-core und GPU: Parallele Programmierung [106059]
(zusammen mit Prof. Dr. Sergei Gorlatch, Ari Rasch)
- V/Ü: Betriebssysteme [104061]
(zusammen mit Dr. Dietmar Lammers) - V/Ü: Einführung in Java [104060]
(zusammen mit Ari Rasch, Prof. Dr. Herbert Kuchen)
- Vorlesung/Praktikum: Einführung in C/C++ [102056]
(zusammen mit ) - V/Ü: Multi-core und GPU: Parallele Programmierung [102057]
(zusammen mit Prof. Dr. Sergei Gorlatch)
- V/Ü: Betriebssysteme [100059]
(zusammen mit Prof. Dr. Sergei Gorlatch) - V/Ü: Einführung in Java [100061]
(zusammen mit Prof. Dr. Jan Vahrenhold)
- Projektseminar: Automatische Programm-Optimierung für Moderne Many-Core Systeme [108351]
(zusammen mit Prof. Dr. Sergei Gorlatch, Ari Rasch) - Vorlesung/Praktikum: Einführung in C/C++ [108352]
(zusammen mit Ari Rasch)
- V/Ü: Betriebssysteme [106180]
(zusammen mit Prof. Dr. Sergei Gorlatch)
- Projektseminar: Eine Programmiersprache zur sicheren Programmierung von GPUs: Entwicklung und Evaluation des Descend-Compilers [102058]
Publikationen
- . . ‘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. USA.
- . . ‘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, 100–112. doi: 10.1145/3168824.
- ‘A Transformation-Based Approach to Developing High-Performance GPU Programs.’ Contributed to the 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017, rus. doi: 10.1007/978-3-319-74313-4_14. .
- . . ‘Towards Efficient Multicast Communication in Software-Defined Networks.’ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), edited by , 106–113. Nara: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
- . . ‘Programming GPUs with C++14 and Just-In-Time Compilation.’ Contributed to the Advances in Parallel Computing: On the Road to Exascale, ParCo2015, Edinburgh, Schottland. doi: 10.3233/978-1-61499-621-7-247.
- . . ‘High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists.’ Contributed to the BTW 2015, Hamburg, Deutschland.
- . . Implementing the WiPo Architecture ERCIS Working Papers, Nr. 20, .
- . . ‘Implementing the WiPo Architecture.’ Contributed to the EC Web, München.
Bastian Hagedorn, MSc
Professur für Praktische Informatik (Prof. Gorlatch)