Siddharth Bhat

Publications

1. POPL'24 Guided Equality Saturation

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

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

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

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

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