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 C. Pierce, Guy Van den Broeck
OOPSLA 2025 PDF ACM DL Code
Labeled Tuples (Informed Position)
Chris Casinghino,
ML Workshop 2024 PDF OCaml Manual
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.