Publications
Conference and journal papers
2026
- OOPSLASound and Complete Solving for Multi-width Parametric Bitvectors via Principled ReductionsSiddharth Bhat, Léo Stefanesco, George Rennie, John Regehr, Tobias Grosser
- ICSAn Open-Source-First Approach: Multi-Level Compiler Design for AI and HPCTobias Grosser
- DATEOptimize edge AI processing through innovative compilation techniquesShreya Alladi, Alexandre Lopoukhine, Georgios Alexandris, Andrea Nardi-Dei, Ravikiran Ravindranath Reddy, Christos P. Lamprakos, Panagiotis Chaidos, Alexis Maras, Alberto Ros, Tobias Grosser, Sotirios Xydis, Dimitrios Soudris, Marc Geilen, Sander Stuijk, Henk Corporaal, Alexandra Jimborean
- ASPLOSAn MLIR Lowering Pipeline for Stencils at Wafer-ScaleNicolai Stawinoga, David Katz, Anton Lydike, Justs Zarins, Nick Brown, George Bisbas, Tobias Grosser
- ASPLOSThe Configuration Wall: Characterization and Elimination of Accelerator Configuration OverheadJosse Van Delm, Anton Lydike, Joren Dumoulin, Jonas Crols, Xiaoling Yi, Ryan Antonio, Jackson Woodruff, Tobias Grosser, Marian Verhelst
2025
- OOPSLACertified Decision Procedures for Width-Independent Bitvector PredicatesSiddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
- OOPSLAInteractive Bitvector Reasoning using Verified Bit-BlastingHenrik Böving, Siddharth Bhat, Luisa Cicolini, Alex Keizer, Léon Frenot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark Barrett, Tobias Grosser
- OOPSLACompressed and Parallelized Structured Tensor AlgebraMahdi Ghorbani, Emilien Bauer, Tobias Grosser, Amir Shaikhha
- CGOxDSL: Sidekick Compilation for SSA-Based CompilersMathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser
- CGOA Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA ExtensionsAlexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis, Anton Lydike, Josse Van Delm, Alban Dutilleul, Luca Benini, Marian Verhelst, Tobias Grosser
- PLDIFirst-Class Verification Dialects for MLIRMathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser
2024
- PACTPipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency ModelAn Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel Sorin, Vijay Nagarajan
- CICMTransforming Optimization Problems into Disciplined Convex Programming FormRamon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
- ITPVerifying Peephole Rewriting in SSA Compiler IRsSiddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
- CAVStrided Difference Bound MatricesArjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
- PLDIFalcon: A Scalable Analytical Cache ModelArjun Pitchanathan, Kunwar Grover, Tobias Grosser
- ASPLOSA shared compilation stack for distributed-memory parallelism in stencil DSLsGeorge Bisbas, Anton Lydike, Emilien Bauer, Nick Brown, Mathieu Fehr, Lawrence Mitchell, Gabriel Rodriguez-Canal, Maurice Jamieson, Paul H. J. Kelly, Michel Steuwer, Tobias Grosser
- POPLGuided Equality SaturationThomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
2023
- DATEPetaOps/W edge-AI µProcessors: Myth or reality?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 Gurkaynak, 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
- PACTmlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program SynthesisAlexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael FP O'Boyle
2022
- PLDIIRDL: An IR Definition Language for SSA CompilersMathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
- ICSTMetamorphic Fuzzing of C++ LibrariesAndrei Lascu, Alastair Donaldson, Tobias Grosser, Torsten Hoefler
- CGOLambda the Ultimate SSA: Optimizing Functional Programs in SSASiddharth Bhat, Tobias Grosser
- ASPLOSUnderstanding and Exploiting Optimal Function InliningTheodoros Theodoridis, Tobias Grosser, Zhendong Su
- CCQSSA: An SSA-Based IR for Quantum ComputingAnurudh Peduri, Siddharth Bhat, Tobias Grosser
- CCQRANE: Lifting QASM Programs to an Affine IRBlake Gerard, Tobias Grosser, Martin Kong
Show older papers
2021
- OOPSLAFPL: Fast Presburger Arithmetic through TransprecisionArjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser
- TACODomain-Specific Multi-Level IR Rewriting for GPU: The Open Earth Compiler for GPU-Accelerated Climate SimulationTobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser
- TCADOCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-MemoryAdam Siemieniuk, Lorenzo Chelini, Asif Ali Khan, Jeronimo Castrillon, Andi Drebes, Henk Corporaal, Tobias Grosser, Martin Kong
- TPDSWork-stealing prefix scan: Addressing load imbalance in large-scale image registrationMarcin Copik, Tobias Grosser, Torsten Hoefler, Paolo Bientinesi, Benjamin Berkels
- CGOProgressive Raising in Multi-level IRLorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal
- PPoPPExtracting Clean Performance Models from Tainted ProgramsMarcin Copik, Alexandru Calotoiu, Tobias Grosser, Nicolas Wicki, Felix Wolf, Torsten Hoefler
2020
- OOPSLAFast Linear Programming through Transprecision Computing on Small and Sparse DataTobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
- PACTAutomatic Generation of Multi-Objective Polyhedral Compiler TransformationsLorenzo Chelini, Tobias Gysi, Tobias Grosser, Martin Kong, Henk Corporaal
- TCADPolyhedral Compilation for Racetrack MemoriesAsif Ali Khan, Hauke Mewes, Tobias Grosser, Torsten Hoefler, Jeronimo Castrillon
- TCADOptimization Approach to Accelerator CodesignNirmal Prajapati, Sanjay Rajopadhye, Hristo Djidjev, Nandakishore Santhi, Tobias Grosser, Rumen Andonov
- PLDILLHD: A Multi-Level Intermediate Representation for Hardware Description LanguagesFabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini
- CCMixed-data-model heterogeneous compilation and OpenMP offloadingAndreas Kurth, Koen Wolters, Björn Forsberg, Alessandro Capotondi, Andrea Marongiu, Tobias Grosser, Luca Benini
2019
- PACTAbsinthe: Learning an Analytical Performance Model to Fuse and Tile Stencil Codes in One ShotTobias Gysi, Tobias Grosser, Torsten Hoefler
- PLDIA Fast Analytical Model of Fully Associative CachesTobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler
- ICSEfficient Hierarchical Online-AutotuningPhilip Pfaffe, Tobias Grosser, Martin Tillmann
- TACODeclarative Loop Tactics for Domain-specific OptimizationLorenzo Chelini, Oleksandr Zinenko, Tobias Grosser, Henk Corporaal
2015
- ICSMODESTO: Data-centric Analytic Optimization of Complex Stencil programs on Heterogeneous ArchitecturesTobias Gysi, Tobias Grosser, Torsten Hoefler
- TOPLASPolyhedral AST generation is more than scanning polyhedraTobias Grosser, Sven Verdoolaege, Albert Cohen
- ICSOptimistic Delinearization of Parametrically Sized ArraysTobias Grosser, J. Ramanujam, Louis-Noel Pouchet, Ponnuswamy Sadayappan, Sebastian Pop
- PACTPENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator ProgrammingRiyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F Donaldson, Jeroen Ketema, others
- OOPSLARuntime pointer disambiguationFabian Gruber, Johannes Doerfert, Alexandros Lambrineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira
2014
- CGOHybrid Hexagonal/Classical Tiling for GPUsTobias Grosser, Albert Cohen, Justin Holewinski, Ponuswamy Sadayappan, Sven Verdoolaege
- PPLThe relation between diamond tiling and hexagonal tilingTobias Grosser, Sven Verdoolaege, Albert Cohen, P Sadayappan
- PLDIA Framework for Enhancing Data Reuse via Associative ReorderingKevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan
Workshop papers
2023
- SC-WStencil-HMLS: A multi-layered approach to the automatic optimisation of stencil codes on FPGAGabriel Rodriguez-Canal, Nick Brown, Maurice Jamieson, Emilien Bauer, Anton Lydike, Tobias Grosser
- SC-WFortran performance optimisation and auto-parallelisation by leveraging MLIR-based domain specific abstractions in FlangNick Brown, Maurice Jamieson, Anton Lydike, Emilien Bauer, Tobias Grosser
- IMPACTBuilding a Static HLS Pass with FPLKunwar Shaanjeet Singh, Arjun Pitchanathan, Julian Oppermann, Mike Urbach, Tobias Grosser
2020
- EuroLLVMMultiLevel Tactics: Lifting loops in MLIRLorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Henk Corporaal, Tobias Grosser, Nicolas Vasilache
- IMPACTTC-CIM: Empowering Tensor Comprehensions for Computing-In-MemoryAndi Drebes, Lorenzo Chelini, Oleksandr Zinenko, Albert Cohen, Henk Corporaal, Tobias Grosser, Kanishkan Vadivel, Nicolas Vasilache
- SPMACompiling Neural Networks for a Computational Memory AcceleratorKornilios Kourtis, Martino Dazzi, Nikolas Ioannou, Tobias Grosser, Abu Sebastian, Evangelos Eleftheriou
2014
- IMPACTSchedule TreesSven Verdoolaege, Serge Guelton, Tobias Grosser, Albert Cohen
- DSLDIPENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLsUlysse Beaugnon, Riyadh Baghdadi, Javed Absar, Adam Betts, Albert Cohen, Alastair Donaldson, Tobias Grosser, Sven Haastregt, Yabin Hu, Jeroen Ketema, others
2012
- WOLFHPCPencil: Towards a Platform-Neutral Compute Intermediate Language for DSLsBaghadi Riyadh, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, others
- IMPACTPolyhedral Extraction ToolSven Verdoolaege, Tobias Grosser
Preprints, reports, and theses
Google Scholar