Ryan Tjoa

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Integer Arithmetic

Top Venues

Proc. ACM Program. Lang.

Publications

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling Integer Arithmetic in Probabilistic Programs. CoRR (2023)
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling integer arithmetic in probabilistic programs. UAI (2023)