Ryan Tjoa
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
- Amy Zhuonce
- Anjali Palonce
- Benjamin C. Pierceonce
all 14 in the filters
who talks about the same things
- Poorva Garg3 talks
- Harrison Goldstein10 talks
- Brett Saiki3 talks
- Guy Van den Broeck8 talks
- Oliver Flatt4 talks
- Amy Zhu3 talks
| title | conference | date |
|---|---|---|
| Tuning Random Generators: Property-Based Testing as Probabilistic Programming | OOPSLA 2025 | 2025-10-16 |
Generators become probabilistic programs with symbolic weights and are tuned by computing a symbolic distribution, compiling it into compressed BDD-based… | ||
| Labeled Tuples (Informed Position) | ML 2024 | 2024-09-06 |
Adds labels to tuple fields, implemented as an optional label on every field and landed in Jane Street’s OCaml branch, with a small compiler change (no row… | ||
| Equality Saturation Theory Exploration à la Carte | OOPSLA 2023 | 2023-10-23 |
Enumo is a domain-specific language for programmable theory exploration that gives users small, composable operators to guide automatic inference of rewrite… | ||
| nothing matches | ||