Ryan Tjoa

According to our database, Ryan Tjoa authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tuning Random Generators: Property-Based Testing as Probabilistic Programming.

Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck

CoRR, August, 2025

2023

Equality Saturation Theory Exploration à la Carte.

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi

Proc. ACM Program. Lang., October, 2023

Scaling integer arithmetic in probabilistic programs.

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Uncertainty in Artificial Intelligence, 2023