Publications
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
- 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
2024
- 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
- PACTmlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program SynthesisAlexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael FP O'Boyle
- arXivSidekick compilation with xDSLMathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser
- IMPACTBuilding a Static HLS Pass with FPLKunwar Shaanjeet Singh, Arjun Pitchanathan, Julian Oppermann, Mike Urbach, Tobias Grosser
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 all publications
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
- SCOPESLoopOpt: Declarative Transformations Made EasyLorenzo Chelini, Martin Kong, Tobias Grosser, Henk Corporaal
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
- PLDILLHD: A Multi-Level Intermediate Representation for Hardware Description LanguagesFabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini
- EuroLLVMMultiLevel Tactics: Lifting loops in MLIRLorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Henk Corporaal, Tobias Grosser, Nicolas Vasilache
- CCMixed-data-model heterogeneous compilation and OpenMP offloadingAndreas Kurth, Koen Wolters, Björn Forsberg, Alessandro Capotondi, Andrea Marongiu, Tobias Grosser, Luca Benini
- 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
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
2018
2017
2016
2015
- PENCIL Language SpecificationRiyadh Baghdadi, Albert Cohen, Tobias Grosser, Sven Verdoolaege, Anton Lokhmotov, Javed Absar, Sven Van Haastregt, Alexey Kravets, Alastair Donaldson
- IMPACTOn Recovering Multi-Dimensional Arrays in PollyTobias Grosser, Sebastian Pop, J Ramanujam, P Sadayappan
- 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
- IMPACTSchedule TreesSven Verdoolaege, Serge Guelton, Tobias Grosser, Albert Cohen
- 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
- A Decoupled Approach to High-level Loop Optimization: Tile Shapes, Polyhedral Building Blocks and Low-level CompilersTobias Grosser
- 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
2013
2012
- PPLPolly - Performing Polyhedral Optimizations on a Low-level Intermediate RepresentationTobias Grosser, Groesslinger Armin, Christian Lengauer
- 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
2011
2010
2009
:material-school: Google Scholar