Skip to content

Tobias Grosser

George Rennie

George Rennie¶

George

PhD

Publications

2026

OOPSLASound and Complete Solving for Multi-width Parametric Bitvectors via Principled ReductionsSiddharth Bhat, Léo Stefanesco, George Rennie, John Regehr, Tobias Grosser