Siddharth Bhat

Latest

• The paper 'Transforming Optimization Problems into Disciplined Convex Programming Form' was accepted at CICM '24.
• The paper 'Verifying Peephole Rewriting In SSA Compiler IRs' was accepted at ITP '24.