Ryan Tjoa
Hi! I'm interested in programming languages, compilers, and much else in computer science. I work on OxCaml at Jane Street.
I've also done research on equality saturation, probabilistic programming, and property-based testing. While at the University of Washington, I spent some time working on the CUDA C/C++ compiler at NVIDIA.
Papers
Efficient Extraction for Effectful E-Graphs
Oliver Flatt, Anjali Pal, Yihong Zhang, , Kirsten Graham, Alex Fischman, Chandrakana Nandi, Eli Rosenthal, Zachary Tatlock, Haobin Ni
OOPSLA 2026 Code
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 Slides Code
Labeled Tuples
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 feedback here.