Grosser, Tobias
- Domain-Specific Multi-Level IR Rewriting for GPU
2020/05/26 by Tobias Gysi, Gysi, Tobias, Christoph Müller +15 · 1 voice · 5 citations
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- LLHD: A Multi-level Intermediate Representation for Hardware Description\n Languages
2020/04/07 by Fabian Schuiki, Andreas Kurth, Schuiki, Fabian +5 · 2 voices
Engineering · Computer Science · #Semiconductor materials and devices #VLSI and Analog Circuit Testing #Electrostatic Discharge in Electronics
- Verifying Peephole Rewriting In SSA Compiler IRs
2024/07/04 by Siddharth Bhat, S. Bhat, Alex Keizer +10 · 1 voice · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.LO #cs.PL
- eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
2025/05/14 by Jules Merckx, Merckx, Jules, Alexandre Lopoukhine +9 · 1 voice · 1 citation
Arts and Humanities · Computer Science · Social Sciences · #FOS: Computer and information sciences #Language, Linguistics, Cultural Analysis #Linguistic, Cultural, and Literary Studies #Natural Language Processing Techniques #Programming Languages (cs.PL) #cs.PL
- PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
2013/02/22 by Baghdadi, Riyadh, Cohen, Albert, Guelton, Serge +9 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
- Extracting Clean Performance Models from Tainted Programs
2020/12/31 by Copik, Marcin, Calotoiu, Alexandru, Grosser, Tobias +3 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #and Cluster Computing (cs.DC)
- Work-stealing prefix scan: Addressing load imbalance in large-scale\n image registration
2020/10/23 by Marcin Copik, Copik, Marcin, Tobias Grosser +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · Materials Science · #Advanced Electron Microscopy Techniques and Applications #Distributed #Electron and X-Ray Spectroscopy Techniques #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Parallel #and Cluster Computing (cs.DC)
- TensorFlow as a DSL for stencil-based computation on the Cerebras Wafer Scale Engine
2022/08/26 by Brown, Nick, Echols, Brandon, Zarins, Justs +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #and Cluster Computing (cs.DC)
- mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis
2023/10/06 by Alexander Brauckmann, Elizabeth Polgreen, Brauckmann, Alexander +5 · 1 citation
Computer Science · #Computation and Language (cs.CL) #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)