Siddharth Bhat
Publications
2025
- OOPSLACertified Decision Procedures for Width-Independent Bitvector PredicatesSiddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
- OOPSLAInteractive Bitvector Reasoning using Verified Bit-BlastingHenrik Böving, Siddharth Bhat, Luisa Cicolini, Alex Keizer, Léon Frenot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark Barrett, Tobias Grosser
2024
- CICMTransforming Optimization Problems into Disciplined Convex Programming FormRamon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
- ITPVerifying Peephole Rewriting in SSA Compiler IRsSiddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
- POPLGuided Equality SaturationThomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
