Contact

All Stories

  1. Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Michel Steuwer

  2. Multiple Resumptions and Local Mutable State, Directly

    Article • Proceedings of the ACM on Programming Languages, August 2025, ACM (Association for Computing Machinery)

    Michel Steuwer

  3. Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Michel Steuwer

  4. The MLIR Transform Dialect

    Article • March 2025, ACM (Association for Computing Machinery)

    Michel Steuwer

  5. xDSL: Sidekick Compilation for SSA-Based Compilers

    Article • March 2025, ACM (Association for Computing Machinery)

    Michel Steuwer

  6. Descend: A Safe GPU Systems Programming Language

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Michel Steuwer

  7. A shared compilation stack for distributed-memory parallelism in stencil DSLs

    Article • April 2024, ACM (Association for Computing Machinery)

    Michel Steuwer, GEORGIOS BISMPAS, Anton Lydike

  8. Collection skeletons: Declarative abstractions for data collections

    Article • Journal of Systems and Software, April 2024, Elsevier

    Michel Steuwer

  9. Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming

    Article • February 2024, ACM (Association for Computing Machinery)

    Michel Steuwer

  10. Guided Equality Saturation

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Phil Trinder, Michel Steuwer

  11. Shoggoth: A Formal Foundation for Strategic Rewriting

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Michel Steuwer

  12. Structural Subtyping as Parametric Polymorphism

    Article • Proceedings of the ACM on Programming Languages, October 2023, ACM (Association for Computing Machinery)

    Michel Steuwer

  13. BaCO: A Fast and Portable Bayesian Compiler Optimization Framework

    Article • March 2023, ACM (Association for Computing Machinery)

    Michel Steuwer, Johannes Lenfers

  14. Collection Skeletons: Declarative Abstractions for Data Collections

    Article • November 2022, ACM (Association for Computing Machinery)

    Michel Steuwer

  15. Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler

    Article • September 2022, ACM (Association for Computing Machinery)

    Michel Steuwer

  16. Systematically extending a high-level code generator with support for tensor cores

    Article • April 2022, ACM (Association for Computing Machinery)

    Michel Steuwer, Lukas Siefke

  17. Generating high performance code for irregular data structures using dependent types

    Article • August 2021, ACM (Association for Computing Machinery)

    Michel Steuwer

  18. Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF)

    Article • ACM Transactions on Architecture and Code Optimization, March 2021, ACM (Association for Computing Machinery)

    Michel Steuwer, Ari Rasch

  19. Integrating a functional pattern-based IR into MLIR

    Article • February 2021, ACM (Association for Computing Machinery)

    Michel Steuwer

  20. Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs

    Article • February 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Michel Steuwer

  21. DelayRepay: delayed execution for kernel fusion in Python

    Article • November 2020, ACM (Association for Computing Machinery)

    Michel Steuwer

  22. Achieving high-performance the functional way

    Article • Proceedings of the ACM on Programming Languages, August 2020, ACM (Association for Computing Machinery)

    Michel Steuwer, Johannes Lenfers

  23. High-level hardware feature extraction for GPU performance prediction of stencils

    Article • February 2020, ACM (Association for Computing Machinery)

    Michel Steuwer

  24. Generating fast sparse matrix vector multiplication from a high level generic functional IR

    Article • February 2020, ACM (Association for Computing Machinery)

    Michel Steuwer

  25. Tiling Optimizations for Stencil Computations Using Rewrite Rules in L ift

    Article • ACM Transactions on Architecture and Code Optimization, December 2019, ACM (Association for Computing Machinery)

    Michel Steuwer

  26. High-level synthesis of functional patterns with Lift

    Article • June 2019, ACM (Association for Computing Machinery)

    Michel Steuwer, Martin Kristien

  27. Position-dependent arrays and their application for high performance code generation

    Article • January 2019, ACM (Association for Computing Machinery)

    Michel Steuwer

  28. Generating efficient FFT GPU code with Lift

    Article • January 2019, ACM (Association for Computing Machinery)

    Michel Steuwer

  29. Automatic Matching of Legacy Code to Heterogeneous APIs

    Article • ACM SIGPLAN Notices, November 2018, ACM (Association for Computing Machinery)

    Michel Steuwer

  30. Automatic Matching of Legacy Code to Heterogeneous APIs

    Article • March 2018, ACM (Association for Computing Machinery)

    Michel Steuwer

  31. High performance stencil code generation with Lift

    Article • February 2018, ACM (Association for Computing Machinery)

    Michel Steuwer

  32. Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation

    Article • January 2017, ACM (Association for Computing Machinery)

    Michel Steuwer

  33. Towards Composable GPU Programming

    Article • January 2017, ACM (Association for Computing Machinery)

    Michel Steuwer

  34. Matrix multiplication beyond auto-tuning

    Article • January 2016, ACM (Association for Computing Machinery)

    Michel Steuwer

  35. Multi-stage programming for GPUs in C++ using PACXX

    Article • January 2016, ACM (Association for Computing Machinery)

    Michel Steuwer

  36. Performance portable GPU code generation for matrix multiplication

    Article • January 2016, ACM (Association for Computing Machinery)

    Michel Steuwer

  37. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

    Article • ACM SIGPLAN Notices, December 2015, ACM (Association for Computing Machinery)

    Michel Steuwer

  38. Runtime Code Generation and Data Management for Heterogeneous Computing in Java

    Article • September 2015, ACM (Association for Computing Machinery)

    Michel Steuwer

  39. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

    Article • August 2015, ACM (Association for Computing Machinery)

    Michel Steuwer

  40. Towards High-Level Programming for Systems with Many Cores

    Article • January 2015, Springer Science + Business Media

    Michel Steuwer

  41. High-Level Programming of Stencil Computations on Multi-GPU Systems Using the SkelCL Library

    Article • Parallel Processing Letters, September 2014, World Scientific Pub Co Pte Lt

    Michel Steuwer

  42. gCUP: rapid GPU-based HIV-1 co-receptor usage prediction for next-generation sequencing

    Article • Bioinformatics, August 2014, Oxford University Press (OUP)

    Michel Steuwer

  43. SkelCL: a high-level extension of OpenCL for multi-GPU systems

    Article • The Journal of Supercomputing, May 2014, Springer Science + Business Media

    Michel Steuwer

  44. A Composable Array Function Interface for Heterogeneous Computing in Java

    Article • January 2014, ACM (Association for Computing Machinery)

    Michel Steuwer

  45. dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems

    Article • Journal of Parallel and Distributed Computing, December 2013, Elsevier

    Michel Steuwer

  46. Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems

    Article • International Journal of Parallel Programming, August 2013, Springer Science + Business Media

    Michel Steuwer

  47. High-level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library

    Article • Procedia Computer Science, January 2013, Elsevier

    Michel Steuwer

  48. SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems

    Article • January 2013, Springer Science + Business Media

    Michel Steuwer

  49. Using the SkelCL Library for High-Level GPU Programming of 2D Applications

    Article • January 2013, Springer Science + Business Media

    Michel Steuwer

  50. Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Michel Steuwer

  51. dOpenCL: Towards a Uniform Programming Approach for Distributed Heterogeneous Multi-/Many-Core Systems

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Michel Steuwer

  52. SkelCL - A Portable Skeleton Library for High-Level GPU Programming

    Article • May 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Michel Steuwer