![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Michel Steuwer
Person information
- affiliation: Technische Universität Berlin, Germany
- affiliation (former): University of Edinburgh, UK
- affiliation (former): University of Glasgow, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Björn Franke
, Zhibo Li
, John Magnus Morton
, Michel Steuwer
:
Collection skeletons: Declarative abstractions for data collections. J. Syst. Softw. 213: 112042 (2024) - [j14]Bastian Köpcke
, Sergei Gorlatch
, Michel Steuwer
:
Descend: A Safe GPU Systems Programming Language. Proc. ACM Program. Lang. 8(PLDI): 841-864 (2024) - [j13]Xueying Qin
, Liam O'Connor
, Rob van Glabbeek
, Peter Höfner
, Ohad Kammar
, Michel Steuwer
:
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8(POPL): 61-89 (2024) - [j12]Thomas Koehler
, Andrés Goens
, Siddharth Bhat
, Tobias Grosser
, Phil Trinder
, Michel Steuwer
:
Guided Equality Saturation. Proc. ACM Program. Lang. 8(POPL): 1727-1758 (2024) - [c40]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
:
A shared compilation stack for distributed-memory parallelism in stencil DSLs. ASPLOS (3) 2024: 38-56 - [c39]Guilherme Ottoni, Fernando Pereira, Michel Steuwer, Jingling Xue:
Welcome from the Program Chairs. CGO 2024: v-vi - [e2]Tobias Grosser, Christophe Dubach, Michel Steuwer, Jingling Xue, Guilherme Ottoni, ernando Magno Quintão Pereira:
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024. IEEE 2024, ISBN 979-8-3503-9509-9 [contents] - [e1]Michel Steuwer, I-Ting Angelina Lee, Milind Chabbi:
Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2024, Edinburgh, United Kingdom, March 2-6, 2024. ACM 2024 [contents] - [i14]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:
A shared compilation stack for distributed-memory parallelism in stencil DSLs. CoRR abs/2404.02218 (2024) - 2023
- [j11]Bastian Hagedorn, Johannes Lenfers, Thomas Koehler
, Xueying Qin, Sergei Gorlatch, Michel Steuwer:
Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies. Commun. ACM 66(3): 89-97 (2023) - [j10]Wenhao Tang
, Daniel Hillerström
, James McKinna
, Michel Steuwer
, Ornela Dardha
, Rongxiao Fu
, Sam Lindley
:
Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. 7(OOPSLA2): 1093-1121 (2023) - [j9]Xueying Qin
, Liam O'Connor
, Michel Steuwer:
Primrose: Selecting Container Data Types by Their Properties. Art Sci. Eng. Program. 7(3) (2023) - [c38]Erik Orm Hellsten
, Artur L. F. Souza, Johannes Lenfers
, Rubens Lacouture
, Olivia Hsu
, Adel Ejjeh
, Fredrik Kjolstad
, Michel Steuwer
, Kunle Olukotun
, Luigi Nardi
:
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. ASPLOS (4) 2023: 19-42 - [i13]Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley:
Structural Subtyping as Parametric Polymorphism. CoRR abs/2304.08267 (2023) - [i12]Rongxiao Fu, Ornela Dardha, Michel Steuwer:
Traced Types for Safe Strategic Rewriting. CoRR abs/2304.14154 (2023) - [i11]Bastian Köpcke, Sergei Gorlatch, Michel Steuwer:
Descend: A Safe GPU Systems Programming Language. CoRR abs/2305.03448 (2023) - [i10]Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser
:
Sidekick compilation with xDSL. CoRR abs/2311.07422 (2023) - 2022
- [c37]Federico Pizzuti, Michel Steuwer, Christophe Dubach:
Generating Work Efficient Scan Implementations for GPUs the Functional Way. Euro-Par 2022: 335-349 - [c36]Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer:
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell 2022: 81-94 - [c35]Lukas Siefke, Bastian Köpcke
, Sergei Gorlatch, Michel Steuwer
:
Systematically extending a high-level code generator with support for tensor cores. GPGPU@PPoPP 2022: 3:1-3:6 - [c34]Björn Franke, Zhibo Li
, John Magnus Morton, Michel Steuwer:
Collection Skeletons: Declarative Abstractions for Data Collections. SLE 2022: 189-201 - [i9]Michel Steuwer, Thomas Koehler, Bastian Köpcke, Federico Pizzuti:
RISE & Shine: Language-Oriented Compiler Design. CoRR abs/2201.03611 (2022) - [i8]Xueying Qin, Liam O'Connor
, Michel Steuwer:
Primrose: Selecting Container Data Types by their Properties. CoRR abs/2205.09655 (2022) - [i7]Erik Hellsten, Artur L. F. Souza, Johannes Lenfers, Rubens Lacouture, Olivia Hsu, Adel Ejjeh, Fredrik Kjolstad, Michel Steuwer, Kunle Olukotun, Luigi Nardi:
BaCO: A Fast and Portable Bayesian Compiler Optimization Framework. CoRR abs/2212.11142 (2022) - 2021
- [j8]Ari Rasch
, Richard Schulze, Michel Steuwer
, Sergei Gorlatch:
Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF). ACM Trans. Archit. Code Optim. 18(1): 1:1-1:26 (2021) - [c33]Martin Lücke
, Michel Steuwer
, Aaron Smith:
Integrating a functional pattern-based IR into MLIR. CC 2021: 12-22 - [c32]Thomas Koehler
, Michel Steuwer:
Towards a Domain-Extensible Compiler: Optimizing an Image Processing Pipeline on Mobile CPUs. CGO 2021: 27-38 - [c31]Jubi Taneja, Michel Steuwer:
Report from the Artifact Evaluation Committee. CGO 2021: x-xi - [c30]Federico Pizzuti, Michel Steuwer
, Christophe Dubach:
Generating high performance code for irregular data structures using dependent types. FHPNC@ICFP 2021: 37-49 - [c29]Larisa Stoltzfus, Brian Hamilton, Michel Steuwer, Lu Li, Christophe Dubach:
Code Generation for Room Acoustics Simulations with Complex Boundary Conditions. IPDPS 2021: 485-496 - [i6]Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer:
Row-Polymorphic Types for Strategic Rewriting. CoRR abs/2103.13390 (2021) - [i5]Thomas Koehler, Phil Trinder, Michel Steuwer:
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR abs/2111.13040 (2021) - 2020
- [j7]Bastian Hagedorn
, Johannes Lenfers, Thomas Koehler
, Xueying Qin
, Sergei Gorlatch, Michel Steuwer
:
Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies. Proc. ACM Program. Lang. 4(ICFP): 92:1-92:29 (2020) - [j6]Larisa Stoltzfus, Bastian Hagedorn, Michel Steuwer
, Sergei Gorlatch, Christophe Dubach:
Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift. ACM Trans. Archit. Code Optim. 16(4): 52:1-52:25 (2020) - [c28]Federico Pizzuti, Michel Steuwer
, Christophe Dubach:
Generating fast sparse matrix vector multiplication from a high level generic functional IR. CC 2020: 85-95 - [c27]John Magnus Morton
, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
:
DelayRepay: delayed execution for kernel fusion in Python. DLS 2020: 43-56 - [c26]Toomas Remmelg, Bastian Hagedorn, Lu Li, Michel Steuwer
, Sergei Gorlatch, Christophe Dubach:
High-level hardware feature extraction for GPU performance prediction of stencils. GPGPU@PPoPP 2020: 21-30 - [i4]Bastian Hagedorn, Johannes Lenfers, Thomas Koehler, Sergei Gorlatch, Michel Steuwer
:
A Language for Describing Optimization Strategies. CoRR abs/2002.02268 (2020)
2010 – 2019
- 2019
- [c25]Bastian Köpcke, Michel Steuwer
, Sergei Gorlatch:
Generating efficient FFT GPU code with Lift. FHPNC@ICFP 2019: 1-13 - [c24]Federico Pizzuti, Michel Steuwer
, Christophe Dubach:
Position-dependent arrays and their application for high performance code generation. FHPNC@ICFP 2019: 14-26 - [c23]Martin Kristien, Bruno Bodin
, Michel Steuwer
, Christophe Dubach:
High-level synthesis of functional patterns with Lift. ARRAY@PLDI 2019: 35-45 - 2018
- [c22]Philip Ginsbach, Toomas Remmelg, Michel Steuwer
, Bruno Bodin
, Christophe Dubach, Michael F. P. O'Boyle:
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS 2018: 139-153 - [c21]Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer
, Sergei Gorlatch, Christophe Dubach:
High performance stencil code generation with lift. CGO 2018: 100-112 - [c20]Gordon Brown, Christopher Di Bella, Michael Haidl, Toomas Remmelg, Ruymán Reyes, Michel Steuwer:
Introducing Parallelism to the Ranges TS. IWOCL 2018: 17:1-17:5 - 2017
- [c19]Michel Steuwer, Toomas Remmelg, Christophe Dubach:
Lift: a functional data-parallel IR for high-performance GPU code generation. CGO 2017: 74-85 - [c18]Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch:
A Transformation-Based Approach to Developing High-Performance GPU Programs. Ershov Informatics Conference 2017: 179-195 - [c17]Michael Haidl, Michel Steuwer
, Hendrik Dirks, Tim Humernbrum, Sergei Gorlatch:
Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views. PMAM@PPoPP 2017: 58-67 - [c16]Juan José Fumero
, Michel Steuwer
, Lukas Stadler, Christophe Dubach:
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation. VEE 2017: 60-73 - [i3]Robert Atkey, Michel Steuwer
, Sam Lindley, Christophe Dubach:
Strategy Preserving Compilation for Parallel Functional Code. CoRR abs/1710.08332 (2017) - 2016
- [c15]Michel Steuwer
, Toomas Remmelg, Christophe Dubach:
Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. CASES 2016: 15:1-15:10 - [c14]Toomas Remmelg, Thibaut Lutz, Michel Steuwer
, Christophe Dubach:
Performance portable GPU code generation for matrix multiplication. GPGPU@PPoPP 2016: 22-31 - [c13]Michael Haidl, Michel Steuwer
, Tim Humernbrum, Sergei Gorlatch:
Multi-stage programming for GPUs in C++ using PACXX. GPGPU@PPoPP 2016: 32-41 - 2015
- [b1]Michel Steuwer:
Improving programmability and performance portability on many-core processors. Universität Münster, 2015, pp. 1-262 - [c12]Michel Steuwer
, Christian Fensch, Sam Lindley
, Christophe Dubach:
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. ICFP 2015: 205-217 - [c11]Juan José Fumero
, Toomas Remmelg, Michel Steuwer
, Christophe Dubach:
Runtime Code Generation and Data Management for Heterogeneous Computing in Java. PPPJ 2015: 16-26 - [p1]Michel Steuwer:
Verbesserung der Programmierbarkeit und Performance-Portabilität von Manycore-Prozessoren. Ausgezeichnete Informatikdissertationen 2015: 269-278 - [i2]Michel Steuwer
, Christian Fensch, Christophe Dubach:
Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code). CoRR abs/1502.02389 (2015) - [i1]Chris Cummins, Pavlos Petoumenos, Michel Steuwer
, Hugh Leather:
Autotuning OpenCL Workgroup Size for Stencil Patterns. CoRR abs/1511.02490 (2015) - 2014
- [j5]Michael Olejnik, Michel Steuwer
, Sergei Gorlatch, Dominik Heider
:
gCUP: rapid GPU-based HIV-1 co-receptor usage prediction for next-generation sequencing. Bioinform. 30(22): 3272-3273 (2014) - [j4]Michel Steuwer
, Malte Friese, Sebastian Albers, Sergei Gorlatch:
Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems. Int. J. Parallel Program. 42(4): 601-618 (2014) - [j3]Michel Steuwer
, Michael Haidl, Stefan Breuer, Sergei Gorlatch:
High-Level Programming of Stencil Computations on Multi-GPU Systems Using the SkelCL Library. Parallel Process. Lett. 24(3) (2014) - [j2]Michel Steuwer
, Sergei Gorlatch:
SkelCL: a high-level extension of OpenCL for multi-GPU systems. J. Supercomput. 69(1): 25-33 (2014) - [c10]Sergei Gorlatch, Michel Steuwer
:
Towards High-Level Programming for Systems with Many Cores. Ershov Memorial Conference 2014: 111-126 - [c9]Juan José Fumero
, Michel Steuwer
, Christophe Dubach:
A Composable Array Function Interface for Heterogeneous Computing in Java. ARRAY@PLDI 2014: 44-49 - 2013
- [j1]Philipp Kegel, Michel Steuwer
, Sergei Gorlatch:
dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems. J. Parallel Distributed Comput. 73(12): 1639-1648 (2013) - [c8]Michel Steuwer
, Sergei Gorlatch:
High-Level Programming for Medical Imaging on Multi-GPU Systems Using the SkelCL Library. ICCS 2013: 749-758 - [c7]Michel Steuwer
, Sergei Gorlatch:
SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems. PaCT 2013: 258-272 - 2012
- [c6]Michel Steuwer
, Sergei Gorlatch, Matthias Buß, Stefan Breuer:
Using the SkelCL Library for High-Level GPU Programming of 2D Applications. Euro-Par Workshops 2012: 370-380 - [c5]Philipp Kegel, Michel Steuwer
, Sergei Gorlatch:
Uniform High-Level Programming of Many-Core and Multi-GPU Systems. High Performance Computing Workshop (2) 2012: 159-176 - [c4]Philipp Kegel, Michel Steuwer
, Sergei Gorlatch:
dOpenCL: Towards a Uniform Programming Approach for Distributed Heterogeneous Multi-/Many-Core Systems. IPDPS Workshops 2012: 174-186 - [c3]Michel Steuwer
, Philipp Kegel, Sergei Gorlatch:
Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library. IPDPS Workshops 2012: 1858-1865 - [c2]Michel Steuwer
, Philipp Kegel, Sergei Gorlatch:
A High-Level Programming Approach for Distributed Systems with Accelerators. SoMeT 2012: 430-441 - 2011
- [c1]Michel Steuwer
, Philipp Kegel, Sergei Gorlatch:
SkelCL - A Portable Skeleton Library for High-Level GPU Programming. IPDPS Workshops 2011: 1176-1182
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint