Skip to content

Tobias Grosser

Siddharth Bhat

opencompl/website

Siddharth Bhat¶

Siddharth

PhD

https://pixel-druid.com

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

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

2022