Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
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.
Cite
×