Research Areas
Functional Compilation Techniques
http://www.lift-project.org/
Structured Parallel Programming
High-Level Programming Abstractions
CV
Education
- Ph.D. studies
- Master of Science in computer science
- Bachelor of Science in computer science
Positions
- Research Associate at the University of Münster
- Visiting researcher at the University of Edinburgh
- Visiting researcher at the University of Edinburgh
- Visiting researcher at the University of Edinburgh
- Student Assistant at the University of Münster
- Visiting researcher at the HUST University Wuhan, China
-
Teaching
- Projektseminar: Capstone Project: A Programming Language for Safely Programming GPUs: Development and Evaluation of the Descent Compiler [102058]
(in cooperation with Prof. Dr. Sergei Gorlatch, Florian Fey, Bastian Köpcke)
- Projektseminar: Capstone Project: Code Generation and Optimisation for Deep-Learning Applications on Modern Processors [100067]
(in cooperation with Prof. Dr. Sergei Gorlatch, Richard Schulze, Florian Fey)
- V/Ü: Parallel Systems [108065]
(in cooperation with Prof. Dr. Sergei Gorlatch, Johannes Lenfers)
- Vorlesung/Praktikum: Introduction to C/C++ [106058]
(in cooperation with Bastian Köpcke) - V/Ü: Multi-core and GPU: Parallel Programming [106059]
(in cooperation with Prof. Dr. Sergei Gorlatch, Ari Rasch)
- V/Ü: Operating Systems [104061]
(in cooperation with Dr. Dietmar Lammers) - V/Ü: Introduction to Java [104060]
(in cooperation with Ari Rasch, Prof. Dr. Herbert Kuchen)
- Vorlesung/Praktikum: 1.1.3 Third academic year [102056]
(in cooperation with ) - V/Ü: Multi-core and GPU: Parallel Programming [102057]
(in cooperation with Prof. Dr. Sergei Gorlatch)
- V/Ü: Operating Systems [100059]
(in cooperation with Prof. Dr. Sergei Gorlatch) - V/Ü: Introduction to Java [100061]
(in cooperation with Prof. Dr. Jan Vahrenhold)
- Projektseminar: Capstone Project: Automatic Program Optimization for Modern Many-Core Systems [108351]
(in cooperation with Prof. Dr. Sergei Gorlatch, Ari Rasch) - Vorlesung/Praktikum: Introduction to C/C++ [108352]
(in cooperation with Ari Rasch)
- V/Ü: Operating Systems [106180]
(in cooperation with Prof. Dr. Sergei Gorlatch)
- Projektseminar: Capstone Project: A Programming Language for Safely Programming GPUs: Development and Evaluation of the Descent Compiler [102058]
Publications
- . . ‘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, No. 20, .
- . . ‘Implementing the WiPo Architecture.’ Contributed to the EC Web, München.
Bastian Hagedorn, MSc
Professur für Praktische Informatik (Prof. Gorlatch)