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.
• Guided Equality Saturation
• Transforming Optimization Problems into Disciplined Convex Programming Form
• Verifying Peephole Rewriting in SSA Compiler IRs