Steuwer, Michel
- BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
2022/12/01 by Erik Hellsten, Hellsten, Erik, Artur Souza +17 · 5 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL)
- The MLIR Transform Dialect. Your compiler is more powerful than you think
2024/09/05 by Martin Paul Lücke, Lücke, Martin Paul, Олександр Зіненко +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies
- RISE & Shine: Language-Oriented Compiler Design
2022/01/10 by Michel Steuwer, Steuwer, Michel, Koehler, Thomas +4 · 2 citations
Computer Science · #Advanced Data Storage Technologies #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Descend: A Safe GPU Systems Programming Language
2023/05/05 by Bastian Köpcke, Sergei Gorlatch, Köpcke, Bastian +3 · 2 citations
Computer Science · #Cloud Computing and Resource Management #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
2021/11/25 by Koehler, Thomas, Trinder, Phil, Steuwer, Michel · 1 citation
#FOS: Computer and information sciences #Performance (cs.PF) #Programming Languages (cs.PL)
- A Language for Describing Optimization Strategies
2020/02/06 by Bastian Hagedorn, Hagedorn, Bastian, Johannes Lenfers +7 · 1 voice
Computer Science · #FOS: Computer and information sciences #Performance (cs.PF) #Programming Languages (cs.PL) #cs.PF #cs.PL