Siddharth Bhat
PhD
2025
- OOPSLACertified Decision Procedures for Width-Independent Bitvector Predicates ↞ New!
Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
- OOPSLAInteractive Bitvector Reasoning using Verified Bit-Blasting ↞ New!
Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex Keizer, Léon Frenot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark Barrett, Tobias Grosser