Ryan Tjoa
Hi! I'm interested in programming languages, compilers, and much else in computer science. I work on OxCaml at Jane Street.
While studying at the University of Washington, I researched probabilistic programming and equality saturation. I also spent some time at NVIDIA (on the CUDA C/C++ compiler), Hudson River Trading (writing an LLVM optimization pass), and Meta.
Papers
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin Pierce, Guy Van den Broeck
OOPSLA 2025 PDF
Labeled Tuples (Informed Position)
Chris Casinghino,
ML Workshop 2024 PDF
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, *, Cynthia Richey*, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
OOPSLA 2023 PDF ACM DL Code
Scaling Integer Arithmetic in Probabilistic Programs
William X. Cao, Poorva Garg*, *, Steven Holtzen, Todd Millstein, Guy Van den Broeck
UAI 2023 PDF arXiv Code
Feedback
I welcome anonymous feedback on any topic here.