Hello! I'm Sairam, a graduate student at UC San Diego advised by Loris D'Antoni.

I'm interested in the reliability of language models and formal methods. My current work uses grammars as a lens on correctness: both for constraining language models during decoding and for generating structured inputs that test compilers well.