| Scaling integer arithmetic in probabilistic programs WX Cao, P Garg, R Tjoa, S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence, 260-270, 2023 | 6 | 2023 |
| Equality Saturation Theory Exploration à la Carte A Pal, B Saiki, R Tjoa, C Richey, A Zhu, O Flatt, M Willsey, Z Tatlock, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1034-1062, 2023 | 4 | 2023 |
