Michel Steuwer

79 papers A* 1A 10B 6C 3Misc 3Journal 33Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation. Proc. ACM Program. Lang. Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens
2025	J	`jnl`	Multiple Resumptions and Local Mutable State, Directly. Proc. ACM Program. Lang. Serkan Muhcu, Philipp Schuster, Michel Steuwer, Jonathan Immanuel Brachthäuser
2025	J	`jnl`	Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs. Proc. ACM Program. Lang. Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer
2025	A	`conf`	The MLIR Transform Dialect: Your Compiler Is More Powerful Than You Think. CGO Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen
2025	A	`conf`	xDSL: Sidekick Compilation for SSA-Based Compilers. CGO Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser
2024	—	`conf`	A shared compilation stack for distributed-memory parallelism in stencil DSLs. ASPLOS (3) George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
2024	J	`jnl`	A shared compilation stack for distributed-memory parallelism in stencil DSLs. CoRR George Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
2024	J	`jnl`	Collection skeletons: Declarative abstractions for data collections. J. Syst. Softw. Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
2024	J	`jnl`	Descend: A Safe GPU Systems Programming Language. Proc. ACM Program. Lang. Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
2024	J	`jnl`	Guided Equality Saturation. Proc. ACM Program. Lang. Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
2024	A	`ed.`	IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024 CGO Tobias Grosser, Christophe Dubach, Michel Steuwer, Jingling Xue, Guilherme Ottoni, ernando Magno Quintão Pereira
2024	B	`ed.`	Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2024, Edinburgh, United Kingdom, March 2-6, 2024 PPoPP Michel Steuwer, I-Ting Angelina Lee, Milind Chabbi
2024	J	`jnl`	Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2024	J	`jnl`	The MLIR Transform Dialect. Your compiler is more powerful than you think. CoRR Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen
2024	A	`conf`	Welcome from the Program Chairs. CGO Guilherme Ottoni, Fernando Pereira, Michel Steuwer, Jingling Xue
2023	J	`jnl`	Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies. Commun. ACM Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer
2023	—	`conf`	BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. ASPLOS (4) Erik Orm Hellsten, Artur L. F. Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi
2023	J	`jnl`	Descend: A Safe GPU Systems Programming Language. CoRR Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
2023	J	`jnl`	Primrose: Selecting Container Data Types by Their Properties. Art Sci. Eng. Program. Xueying Qin, Liam O'Connor, Michel Steuwer
2023	J	`jnl`	Sidekick compilation with xDSL. CoRR Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser
2023	J	`jnl`	Structural Subtyping as Parametric Polymorphism. CoRR Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023	J	`jnl`	Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023	J	`jnl`	Traced Types for Safe Strategic Rewriting. CoRR Rongxiao Fu, Ornela Dardha, Michel Steuwer
2022	J	`jnl`	BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. CoRR Erik Hellsten, Artur L. F. Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi
2022	B	`conf`	Collection Skeletons: Declarative Abstractions for Data Collections. SLE Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
2022	—	`conf`	Generating Work Efficient Scan Implementations for GPUs the Functional Way. Euro-Par Federico Pizzuti, Michel Steuwer, Christophe Dubach
2022	C	`conf`	Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer
2022	J	`jnl`	Primrose: Selecting Container Data Types by their Properties. CoRR Xueying Qin, Liam O'Connor, Michel Steuwer
2022	J	`jnl`	RISE & Shine: Language-Oriented Compiler Design. CoRR Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti
2022	—	`conf`	Systematically extending a high-level code generator with support for tensor cores. GPGPU@PPoPP Lukas Siefke, Bastian Köpcke, Sergei Gorlatch, Michel Steuwer
2021	A	`conf`	Code Generation for Room Acoustics Simulations with Complex Boundary Conditions. IPDPS Larisa Stoltzfus, Brian Hamilton, Michel Steuwer, Lu Li, Christophe Dubach
2021	J	`jnl`	Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF). ACM Trans. Archit. Code Optim. Ari Rasch, Richard Schulze, Michel Steuwer, Sergei Gorlatch
2021	—	`conf`	Generating high performance code for irregular data structures using dependent types. FHPNC@ICFP Federico Pizzuti, Michel Steuwer, Christophe Dubach
2021	B	`conf`	Integrating a functional pattern-based IR into MLIR. CC Martin Lücke, Michel Steuwer, Aaron Smith
2021	A	`conf`	Report from the Artifact Evaluation Committee. CGO Jubi Taneja, Michel Steuwer
2021	J	`jnl`	Row-Polymorphic Types for Strategic Rewriting. CoRR Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
2021	J	`jnl`	Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR Thomas Koehler, Phil Trinder, Michel Steuwer
2021	A	`conf`	Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs. CGO Thomas Koehler, Michel Steuwer
2020	J	`jnl`	A Language for Describing Optimization Strategies. CoRR Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer
2020	J	`jnl`	Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies. Proc. ACM Program. Lang. Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Xueying Qin, Sergei Gorlatch, Michel Steuwer
2020	C	`conf`	DelayRepay: delayed execution for kernel fusion in Python. DLS John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
2020	B	`conf`	Generating fast sparse matrix vector multiplication from a high level generic functional IR. CC Federico Pizzuti, Michel Steuwer, Christophe Dubach
2020	—	`conf`	High-level hardware feature extraction for GPU performance prediction of stencils. GPGPU@PPoPP Toomas Remmelg, Bastian Hagedorn, Lu Li, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2020	J	`jnl`	Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift. ACM Trans. Archit. Code Optim. Larisa Stoltzfus, Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2019	—	`conf`	Generating efficient FFT GPU code with Lift. FHPNC@ICFP Bastian Köpcke, Michel Steuwer, Sergei Gorlatch
2019	—	`conf`	High-level synthesis of functional patterns with Lift. ARRAY@PLDI Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach
2019	—	`conf`	Position-dependent arrays and their application for high performance code generation. FHPNC@ICFP Federico Pizzuti, Michel Steuwer, Christophe Dubach
2018	A*	`conf`	Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
2018	A	`conf`	High performance stencil code generation with lift. CGO Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, Christophe Dubach
2018	—	`conf`	Introducing Parallelism to the Ranges TS. IWOCL Gordon Brown, Christopher Di Bella, Michael Haidl, Toomas Remmelg, Ruymán Reyes, Michel Steuwer
2017	—	`conf`	A Transformation-Based Approach to Developing High-Performance GPU Programs. Ershov Informatics Conference Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch
2017	B	`conf`	Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation. VEE Juan José Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach
2017	A	`conf`	Lift: a functional data-parallel IR for high-performance GPU code generation. CGO Michel Steuwer, Toomas Remmelg, Christophe Dubach
2017	J	`jnl`	Strategy Preserving Compilation for Parallel Functional Code. CoRR Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach
2017	—	`conf`	Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views. PMAM@PPoPP Michael Haidl, Michel Steuwer, Hendrik Dirks, Tim Humernbrum, Sergei Gorlatch
2016	Misc	`conf`	Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. CASES Michel Steuwer, Toomas Remmelg, Christophe Dubach
2016	—	`conf`	Multi-stage programming for GPUs in C++ using PACXX. GPGPU@PPoPP Michael Haidl, Michel Steuwer, Tim Humernbrum, Sergei Gorlatch
2016	—	`conf`	Performance portable GPU code generation for matrix multiplication. GPGPU@PPoPP Toomas Remmelg, Thibaut Lutz, Michel Steuwer, Christophe Dubach
2015	J	`jnl`	Autotuning OpenCL Workgroup Size for Stencil Patterns. CoRR Chris Cummins, Pavlos Petoumenos, Michel Steuwer, Hugh Leather
2015	A	`conf`	Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. ICFP Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach
2015	—	`—`	Improving programmability and performance portability on many-core processors. Michel Steuwer
2015	J	`jnl`	Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code). CoRR Michel Steuwer, Christian Fensch, Christophe Dubach
2015	—	`conf`	Runtime Code Generation and Data Management for Heterogeneous Computing in Java. PPPJ Juan José Fumero, Toomas Remmelg, Michel Steuwer, Christophe Dubach
2015	—	`ch.`	Verbesserung der Programmierbarkeit und Performance-Portabilität von Manycore-Prozessoren. Ausgezeichnete Informatikdissertationen Michel Steuwer
2014	—	`conf`	A Composable Array Function Interface for Heterogeneous Computing in Java. ARRAY@PLDI Juan José Fumero, Michel Steuwer, Christophe Dubach
2014	J	`jnl`	High-Level Programming of Stencil Computations on Multi-GPU Systems Using the SkelCL Library. Parallel Process. Lett. Michel Steuwer, Michael Haidl, Stefan Breuer, Sergei Gorlatch
2014	J	`jnl`	Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems. Int. J. Parallel Program. Michel Steuwer, Malte Friese, Sebastian Albers, Sergei Gorlatch
2014	J	`jnl`	SkelCL: a high-level extension of OpenCL for multi-GPU systems. J. Supercomput. Michel Steuwer, Sergei Gorlatch
2014	—	`conf`	Towards High-Level Programming for Systems with Many Cores. Ershov Memorial Conference Sergei Gorlatch, Michel Steuwer
2014	J	`jnl`	gCUP: rapid GPU-based HIV-1 co-receptor usage prediction for next-generation sequencing. Bioinform. Michael Olejnik, Michel Steuwer, Sergei Gorlatch, Dominik Heider
2013	Misc	`conf`	High-Level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library. ICCS Michel Steuwer, Sergei Gorlatch
2013	B	`conf`	SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems. PaCT Michel Steuwer, Sergei Gorlatch
2013	J	`jnl`	dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems. J. Parallel Distributed Comput. Philipp Kegel, Michel Steuwer, Sergei Gorlatch
2012	C	`conf`	A High-Level Programming Approach for Distributed Systems with Accelerators. SoMeT Michel Steuwer, Philipp Kegel, Sergei Gorlatch
2012	—	`conf`	Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library. IPDPS Workshops Michel Steuwer, Philipp Kegel, Sergei Gorlatch
2012	Misc	`conf`	Uniform High-Level Programming of Many-Core and Multi-GPU Systems. High Performance Computing Workshop (2) Philipp Kegel, Michel Steuwer, Sergei Gorlatch
2012	—	`conf`	Using the SkelCL Library for High-Level GPU Programming of 2D Applications. Euro-Par Workshops Michel Steuwer, Sergei Gorlatch, Matthias Buß, Stefan Breuer
2012	—	`conf`	dOpenCL: Towards a Uniform Programming Approach for Distributed Heterogeneous Multi-/Many-Core Systems. IPDPS Workshops Philipp Kegel, Michel Steuwer, Sergei Gorlatch
2011	—	`conf`	SkelCL - A Portable Skeleton Library for High-Level GPU Programming. IPDPS Workshops Michel Steuwer, Philipp Kegel, Sergei Gorlatch