Hi! I'm interested in programming languages, compilers, and much else in computer science.
While studying at the University of Washington (BS '24), I researched probabilistic programming (advised by Todd Millstein & Guy Van den Broeck) and equality saturation (advised by Zachary Tatlock).
I've interned at Jane Street, on the OCaml compiler and a distributed monitoring system, at NVIDIA, on the CUDA C/C++ compiler, at Hudson River Trading, writing an LLVM optimization pass, and at Instagram and Cartogram.
Publications
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, *, Cynthia Richey*, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
OOPSLA 2023
Scaling Integer Arithmetic in Probabilistic Programs
William X. Cao, Poorva Garg*, *, Steven Holtzen, Todd Millstein, Guy Van den Broeck
UAI 2023
Feedback
I welcome anonymous feedback on any topic here.