Chris Hughes¶ Researcher Publications 2025 OOPSLACertified Decision Procedures for Width-Independent Bitvector PredicatesSiddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser 2024 ITPVerifying Peephole Rewriting in SSA Compiler IRsSiddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
