Michel Steuwer
- BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
2022/12/01 by Erik Hellsten, Artur Souza, Hellsten, Erik +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, Köpcke, Bastian, Sergei Gorlatch +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)
- A shared compilation stack for distributed-memory parallelism in stencil DSLs
2024/04/02 by George Bisbas, Anton Lydike, Emilien Bauer +8 · 1 voice · 1 citation
Computer Science · #cs.DC #cs.MS
- Structural Subtyping as Parametric Polymorphism
2023/04/17 by Wenhao Tang, Daniel Hillerström, James McKinna +4 · 1 voice
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #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