Hi! I'm a fourth-year undergrad studying Computer Science at the University of Washington.

My research interests lie broadly in programming languages. At UCLA, I work on discrete probabilistic programming projects, advised by Todd Millstein and Guy Van den Broeck and mentored by Poorva Garg. At the Univ. of Washington, I work on equality saturation projects, advised by Zachary Tatlock and mentored by Oliver Flatt and Yihong Zhang.

In industry, I've interned at Jane Street, working on the OCaml compiler and a distributed monitoring system, at Hudson River Trading, writing an LLVM optimization pass, at Instagram, adding features to and optimizing the COVID-19 Info Center, and at Cartogram.

Publications

Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa*, Cynthia Richey*, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi.
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2023

Scaling Integer Arithmetic in Probabilistic Programs
William X. Cao, Poorva Garg*, Ryan Tjoa*, Steven Holtzen, Todd Millstein, Guy Van den Broeck.
Uncertainty in Artificial Intelligence (UAI) 2023

Feedback

I welcome anonymous feedback on any topic here.