Tobias Grosser

Publications

1. POPL'24 Guided Equality Saturation

   Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

2. PACT'24 PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model

   An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan

3. CICM'24 Transforming Optimization Problems into Disciplined Convex Programming Form

   Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser

4. ITP'24 Verifying Peephole Rewriting in SSA Compiler IRs

   Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser