Michel Steuwer

Registered user since Fri 31 Mar 2017

Name:Michel Steuwer
Bio:

I am a lecturer (assistant professor) in compilers and runtime systems in the School of Informatics at the University of Edinburgh in Scotland. I am a member of the Compiler and Architecture Design Group (CArD), the Institute for Computing Systems Architecture (ICSA), and a visiting member of staff at the School of Computing Science at the University of Glasgow.

Before joining the faculty in Edinburgh I was a lecturer in the School of Computing Science at the University of Glasgow. Prior to that, I was a postdoctoral researcher at the School of Informatics at the University of Edinburgh. I received my PhD from the University of Münster in Germany.

I am interested in all aspects of parallel programming. Particular research interests of mine include performance portability, structured parallel programming, heterogeneous and GPU computing, and novel compilation techniques for high-level languages.

Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Parallel Programming, Structured Parallel Programming, Heterogeneous and GPU Computing, Novel Functional Compilation Techniques

Contributions

CGO 2024 Program Co-Chair (First Round) in Program Committee within the Main Conference-track
Steering Committee Member in Steering Committee
PPoPP 2024 General Chair in Organizing Committee
Haskell 2023 Committee Member in Program Committee within the Haskell 2023-track
DRAGSTERS 2023 Committee Member in Program Committee within the DRAGSTERS 2023-track
‹Programming› 2023 Author of Primrose: Selecting Container Data Types by their Properties within the Research Papers-track
CGO 2023 Steering Committee Member in Steering Committee within the Main Conference-track
LAFI 2023 Author of Towards type-driven data-science in Idris within the LAFI 2023-track
SLE 2022 Author of Collection Skeletons: Declarative Abstractions for Data Collections within the SLE 2022-track
Haskell 2022 Author of Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler within the Haskell 2022-track
TyDe 2022 Author of Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) within the TyDe 2022-track
FHPNC 2022 Committee Member in Organizing Committee within the FHPNC 2022-track
PLDI 2022 Author of (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies within the SIGPLAN Track-track
CGO 2022 Committee Member in Program Committee within the Main Conference-track
Session Chair of Session #8: IR, Encryption and Compression (part of Main Conference)
FHPNC 2021 Committee Member in Program Committee within the FHPNC 2021-track
Author of Generating High Performance Code for Irregular Data Structures using Dependent Types within the FHPNC 2021-track
CC 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the CC Research Artifacts-track
Author of Integrating a Functional Pattern-Based IR into MLIR within the CC Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
CGO 2021 Artifact Evaluation Co-Chairs in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs within the Main Conference-track
Artifact Evaluation Co-Chairs in Organizing Committee
DLS 2020 Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS 2020-track
GPCE 2020 Committee Member in Program Committee within the GPCE-track
ICFP 2020 Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track
FHPNC 2020 Committee Member in Program Committee within the FHPNC 2020 (cancelled)-track
CC 2020 Artifact Evaluation Chair in Organizing Committee
Session Chair of Session 4 Optimizations (part of Main Conference)
Committee Member in Program Committee within the Research Papers-track
Author of Generating Fast Sparse Matrix Vector Multiplication From a High Level Generic Functional IR within the Main Conference-track
Artifact Evaluation Chair in Artifact Evaluation Committee within the Research Artifacts-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
FHPNC 2019 Author of Position-Dependent Arrays and Their Applicationfor High Performance Code Generation within the FHPNC-track
Author of Generating Efficient FFT GPU Code with Lift within the FHPNC-track
ARRAY 2019 Author of High-Level Synthesis of Functional Patterns with Lift within the ARRAY 2019-track
LCTES 2019 Committee Member in Program Committee within the LCTES 2019-track
Artifact Evaluation Chair in Organizing Committee within the LCTES 2019-track
Committee Member in Artifact Evaluation Committee within the LCTES 2019-track
LCTES 2018 Artifact Evaluation Chair in Organizing Committee
Committee Member in Program Committee
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
VEE 2017 Author of Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation within the Session 2-track
MoreVMs 2017 Author of OpenCL JIT Compilation for Dynamic Programming Languages within the MoreVMs 2017-track
SYCL 2017 Committee Member in Program Committee within the SYCL 2017-track
GPGPU-9 Author of Multi-Stage Programming for GPUs in Modern C++ using PACXX within the GPGPU-9-track
Author of Performance Portable GPU Code Generation for Matrix Multiplication within the GPGPU-9-track