Research Team Projects Publications Join Us!Contact

Siddharth Bhat

PhD

Siddharth

Siddharth

http://bollu.github.io

2024

POPL
Guided Equality Saturation ↞ New!
Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

2022

CGO
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA
Siddharth Bhat, Tobias Grosser
CC
QSSA: An SSA-Based IR for Quantum Computing
Anurudh Peduri, Siddharth Bhat, Tobias Grosser