Tobias Grosser

92 papers A* 5A 17B 14C 2Journal 43Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
An MLIR Lowering Pipeline for Stencils at Wafer-Scale.
ASPLOS (2)
Nicolai Stawinoga, David Katz, Anton Lydike, Justs Zarins, Nick Brown, George Bisbas, Tobias Grosser
2026 J jnl
An MLIR Lowering Pipeline for Stencils at Wafer-Scale.
CoRR
Nicolai Stawinoga, David Katz, Anton Lydike, Justs Zarins, Nick Brown, George Bisbas, Tobias Grosser
2026 J jnl
E-Graphs as a Persistent Compiler Abstraction.
CoRR
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, Tobias Grosser
2026 B ed.
Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, CC 2026, Sydney, NSW, Australia, 31 January 2026 - 1 February 2026
CC
Martin Kong, Uday Bondhugula, Tobias Grosser
2026 — conf
The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead.
ASPLOS (1)
Josse Van Delm, Anton Lydike, Joren Dumoulin, Jonas Crols, Xiaoling Yi, Ryan Antonio, Jackson Woodruff, Tobias Grosser, Marian Verhelst
2025 A conf
A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions.
CGO
Alexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis, Anton Lydike, Josse Van Delm, Alban Dutilleul, Luca Benini, Marian Verhelst, Tobias Grosser
2025 J jnl
A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions.
CoRR
Alexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis, Anton Lydike, Josse Van Delm, Alban Dutilleul, Luca Benini, Marian Verhelst, Tobias Grosser
2025 J jnl
Certified Decision Procedures for Width-Independent Bitvector Predicates.
Proc. ACM Program. Lang.
Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
2025 J jnl
Compressed and Parallelized Structured Tensor Algebra.
Proc. ACM Program. Lang.
Mahdi Ghorbani, Emilien Bauer, Tobias Grosser, Amir Shaikhha
2025 J jnl
First-Class Verification Dialects for MLIR.
Proc. ACM Program. Lang.
Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser
2025 J jnl
Interactive Bitvector Reasoning using Verified Bit-Blasting.
Proc. ACM Program. Lang.
Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser
2025 A ed.
Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025, Las Vegas, NV, USA, March 1-5, 2025
CGO
Johannes Doerfert, Tobias Grosser, Hugh Leather, P. Sadayappan
2025 J jnl
The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead.
CoRR
Josse Van Delm, Anton Lydike, Joren Dumoulin, Jonas Crols, Xiaoling Yi, Ryan Antonio, Jackson Woodruff, Tobias Grosser, Marian Verhelst
2025 J jnl
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting.
CoRR
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, Tobias Grosser
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
Compressing Structured Tensor Algebra.
CoRR
Mahdi Ghorbani, Emilien Bauer, Tobias Grosser, Amir Shaikhha
2024 J jnl
Falcon: A Scalable Analytical Cache Model.
Proc. ACM Program. Lang.
Arjun Pitchanathan, Kunwar Grover, Tobias Grosser
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 conf
PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model.
PACT
An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan
2024 — conf
Strided Difference Bound Matrices.
CAV (1)
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
2024 J jnl
Strided Difference Bound Matrices.
CoRR
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
2024 C conf
Transforming Optimization Problems into Disciplined Convex Programming Form.
CICM
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
2024 J jnl
Verifying Peephole Rewriting In SSA Compiler IRs.
CoRR
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2024 B conf
Verifying Peephole Rewriting in SSA Compiler IRs.
ITP
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2023 — conf
Fortran performance optimisation and auto-parallelisation by leveraging MLIR-based domain specific abstractions in Flang.
SC Workshops
Nick Brown, Maurice Jamieson, Anton Lydike, Emilien Bauer, Tobias Grosser
2023 J jnl
Fortran performance optimisation and auto-parallelisation by leveraging MLIR-based domain specific abstractions in Flang.
CoRR
Nick Brown, Maurice Jamieson, Anton Lydike, Emilien Bauer, Tobias Grosser
2023 A conf
PetaOps/W edge-AI $\mu$ Processors: Myth or reality?
DATE
Manil Dev Gomony, Floran de Putter, Anteneh Gebregiorgis, Gianna Paulin, Linyan Mei, Vikram Jain, Said Hamdioui, Victor Sanchez, Tobias Grosser, Marc Geilen, Marian Verhelst, Friedemann Zenke, Frank K. Gürkaynak, Barry de Bruin, Sander Stuijk, Simon Davidson, Sayandip De, Mounir Ghogho, Alexandra Jimborean, Sherif Eissa, Luca Benini, Dimitrios Soudris, Rajendra Bishnoi, Sam Ainsworth, Federico Corradi, Ouassim Karrakchou, Tim Güneysu, Henk Corporaal
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 — conf
Stencil-HMLS: A multi-layered approach to the automatic optimisation of stencil codes on FPGA.
SC Workshops
Gabriel Rodriguez-Canal, Nick Brown, Maurice Jamieson, Emilien Bauer, Anton Lydike, Tobias Grosser
2023 J jnl
Stencil-HMLS: A multi-layered approach to the automatic optimisation of stencil codes on FPGA.
CoRR
Gabriel Rodriguez-Canal, Nick Brown, Maurice Jamieson, Emilien Bauer, Anton Lydike, Tobias Grosser
2023 B conf
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.
PACT
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2023 J jnl
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis.
CoRR
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2022 J jnl
CONVOLVE: Smart and seamless design of smart edge processors.
CoRR
Manil Dev Gomony, Floran de Putter, Anteneh Gebregiorgis, Gianna Paulin, Linyan Mei, Vikram Jain, Said Hamdioui, Victor Sanchez, Tobias Grosser, Marc Geilen, Marian Verhelst, Frank K. Zenke, Frank K. Gürkaynak, Barry de Bruin, Sander Stuijk, Simon Davidson, Sayandip De, Mounir Ghogho, Alexandra Jimborean, Sherif Eissa, Luca Benini, Dimitrios Soudris, Rajendra Bishnoi, S. Ainsworth, Federico Corradi, Ouassim Karrakchou, Tim Güneysu, Henk Corporaal
2022 — conf
Exploring the Suitability of the Cerebras Wafer Scale Engine for Stencil-Based Computation Codes.
Euro-Par Workshops
Nick Brown, Brandon Echols, Justs Zarins, Tobias Grosser
2022 A* conf
IRDL: an IR definition language for SSA compilers.
PLDI
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
2022 B ed.
LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, CA, USA, 14 June 2022
LCTES
Tobias Grosser, Kyoungwoo Lee
2022 A conf
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.
CGO
Siddharth Bhat, Tobias Grosser
2022 J jnl
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.
CoRR
Siddharth Bhat, Tobias Grosser
2022 J jnl
MOM: Matrix Operations in MLIR.
CoRR
Lorenzo Chelini, Henrik Barthels, Paolo Bientinesi, Marcin Copik, Tobias Grosser, Daniele G. Spampinato
2022 A conf
Metamorphic Fuzzing of C++ Libraries.
ICST
Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler
2022 J jnl
OCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-Memory.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Adam Siemieniuk, Lorenzo Chelini, Asif Ali Khan, Jerónimo Castrillón, Andi Drebes, Henk Corporaal, Tobias Grosser, Martin Kong
2022 B conf
QRANE: lifting QASM programs to an affine IR.
CC
Blake Gerard, Tobias Grosser, Martin Kong
2022 B conf
QSSA: an SSA-based IR for Quantum computing.
CC
Anurudh Peduri, Siddharth Bhat, Tobias Grosser
2022 J jnl
TensorFlow as a DSL for stencil-based computation on the Cerebras Wafer Scale Engine.
CoRR
Nick Brown, Brandon Echols, Justs Zarins, Tobias Grosser
2022 A* conf
Understanding and exploiting optimal function inlining.
ASPLOS
Theodoros Theodoridis, Tobias Grosser, Zhendong Su
2022 J jnl
Work-Stealing Prefix Scan: Addressing Load Imbalance in Large-Scale Image Registration.
IEEE Trans. Parallel Distributed Syst.
Marcin Copik, Tobias Grosser, Torsten Hoefler, Paolo Bientinesi, Benjamin Berkels
2021 — conf
Cross-domain compilation: exploiting synergies across the CS community (keynote).
VMIL@SPLASH
Tobias Grosser
2021 J jnl
Domain-Specific Multi-Level IR Rewriting for GPU: The Open Earth Compiler for GPU-accelerated Climate Simulation.
ACM Trans. Archit. Code Optim.
Tobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser
2021 — conf
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools.
MET@ICSE
Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
2021 B conf
Extracting clean performance models from tainted programs.
PPoPP
Marcin Copik, Alexandru Calotoiu, Tobias Grosser, Nicolas Wicki, Felix Wolf, Torsten Hoefler
2021 J jnl
FPL: fast Presburger arithmetic through transprecision.
Proc. ACM Program. Lang.
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser
2021 C conf
LoopOpt: Declarative Transformations Made Easy.
SCOPES
Lorenzo Chelini, Martin Kong, Tobias Grosser, Henk Corporaal
2021 A conf
Progressive Raising in Multi-level IR.
CGO
Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal
2020 J jnl
A Fast Analytical Model of Fully Associative Caches.
CoRR
Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler
2020 B conf
Automatic Generation of Multi-Objective Polyhedral Compiler Transformations.
PACT
Lorenzo Chelini, Tobias Gysi, Tobias Grosser, Martin Kong, Henk Corporaal
2020 J jnl
Compiling Neural Networks for a Computational Memory Accelerator.
CoRR
Kornilios Kourtis, Martino Dazzi, Nikolas Ioannou, Tobias Grosser, Abu Sebastian, Evangelos Eleftheriou
2020 J jnl
Declarative Loop Tactics for Domain-specific Optimization.
ACM Trans. Archit. Code Optim.
Lorenzo Chelini, Oleksandr Zinenko, Tobias Grosser, Henk Corporaal
2020 J jnl
Domain-Specific Multi-Level IR Rewriting for GPU.
CoRR
Tobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser
2020 J jnl
Extracting Clean Performance Models from Tainted Programs.
CoRR
Marcin Copik, Alexandru Calotoiu, Tobias Grosser, Nicolas Wicki, Felix Wolf, Torsten Hoefler
2020 J jnl
Fast linear programming through transprecision computing on small and sparse data.
Proc. ACM Program. Lang.
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
2020 J jnl
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages.
CoRR
Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini
2020 A* conf
LLHD: a multi-level intermediate representation for hardware description languages.
PLDI
Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini
2020 B conf
Mixed-data-model heterogeneous compilation and OpenMP offloading.
CC
Andreas Kurth, Koen Wolters, Björn Forsberg, Alessandro Capotondi, Andrea Marongiu, Tobias Grosser, Luca Benini
2020 J jnl
Optimization Approach to Accelerator Codesign.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nirmal Prajapati, Sanjay V. Rajopadhye, Hristo N. Djidjev, Nandakishore Santhi, Tobias Grosser, Rumen Andonov
2020 J jnl
Polyhedral Compilation for Racetrack Memories.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Asif Ali Khan, Hauke Mewes, Tobias Grosser, Torsten Hoefler, Jerónimo Castrillón
2020 J jnl
Work-stealing prefix scan: Addressing load imbalance in large-scale image registration.
CoRR
Marcin Copik, Tobias Grosser, Torsten Hoefler, Paolo Bientinesi, Benjamin Berkels
2019 A* conf
A fast analytical model of fully associative caches.
PLDI
Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler
2019 B conf
Absinthe: Learning an Analytical Performance Model to Fuse and Tile Stencil Codes in One Shot.
PACT
Tobias Gysi, Tobias Grosser, Torsten Hoefler
2019 A conf
Efficient hierarchical online-autotuning: a case study on polyhedral accelerator mapping.
ICS
Philip Pfaffe, Tobias Grosser, Martin Peter Tillmann
2018 A conf
DeLICM: scalar dependence removal at zero memory cost.
CGO
Michael Kruse, Tobias Grosser
2018 J jnl
High-Performance Generalized Tensor Operations: A Compiler-Oriented Approach.
ACM Trans. Archit. Code Optim.
Roman Gareev, Tobias Grosser, Michael Kruse
2018 B conf
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.
CC
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen
2017 J jnl
Accelerator Codesign as Non-Linear Optimization.
CoRR
Nirmal Prajapati, Sanjay V. Rajopadhye, Hristo N. Djidjev, Nandakishore Santhi, Tobias Grosser, Rumen Andonov
2017 A conf
Optimistic loop optimization.
CGO
Johannes Doerfert, Tobias Grosser, Sebastian Hack
2017 B conf
Simple, Accurate, Analytical Time Modeling and Optimal Tile Size Selection for GPGPU Stencils.
PPoPP
Nirmal Prajapati, Waruna Ranasinghe, Sanjay V. Rajopadhye, Rumen Andonov, Hristo N. Djidjev, Tobias Grosser
2016 A conf
Polly-ACC Transparent compilation to heterogeneous hardware.
ICS
Tobias Grosser, Torsten Hoefler
2015 A conf
MODESTO: Data-centric Analytic Optimization of Complex Stencil Programs on Heterogeneous Architectures.
ICS
Tobias Gysi, Tobias Grosser, Torsten Hoefler
2015 A conf
Optimistic Delinearization of Parametrically Sized Arrays.
ICS
Tobias Grosser, Jagannathan Ramanujam, Louis-Noël Pouchet, P. Sadayappan, Sebastian Pop
2015 B conf
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.
PACT
Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev
2015 J jnl
Polyhedral AST Generation Is More Than Scanning Polyhedra.
ACM Trans. Program. Lang. Syst.
Tobias Grosser, Sven Verdoolaege, Albert Cohen
2015 A conf
Runtime pointer disambiguation.
OOPSLA
Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira
2014 — —
A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers. (Une approche découplée pour l'optimization de boucle à haut niveau).
Tobias Grosser
2014 A* conf
A framework for enhancing data reuse via associative reordering.
PLDI
Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan
2014 A conf
Hybrid Hexagonal/Classical Tiling for GPUs.
CGO
Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege
2014 J jnl
The Relation Between Diamond Tiling and Hexagonal Tiling.
Parallel Process. Lett.
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
2013 J jnl
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
CoRR
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson
2013 — conf
Split tiling for GPUs: automatic parallelization using trapezoidal tiles.
GPGPU@ASPLOS
Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege
2012 J jnl
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation.
Parallel Process. Lett.
Tobias Grosser, Armin Größlinger, Christian Lengauer
2010 A conf
Determining optimal features for emotion recognition from speech by applying an evolutionary algorithm.
INTERSPEECH
David Philippou-Hübner, Bogdan Vlasenko, Tobias Grosser, Andreas Wendemuth