| Scaling exact inference for discrete probabilistic programs S Holtzen, G Van den Broeck, T Millstein Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 143 | 2020 |
| Classification system with methodology for efficient verification D Lisuk, S Holtzen US Patent 9,390,086, 2016 | 53 | 2016 |
| Inferring Human Intent from Video by Sampling Hierarchical Plans S Holtzen, Y Zhao, T Gao, JB Tenenbaum, SC Zhu IEEE International Conference on Intelligent Robots and Systems (IROS), 2016 | 46 | 2016 |
| Lilac: a Modal Separation Logic for Conditional Probability JM Li, A Ahmed, S Holtzen ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2023 | 33 | 2023 |
| Model Checking Finite-Horizon Markov Chains with Probabilistic Inference S Holtzen, S Junges, M Vazquez-Chanlatte, T Millstein, S Seshia, ... 33rd International Conference on Computer-Aided Verification (CAV), 2021 | 30 | 2021 |
| Logical Abstractions for Noisy Variational Quantum Algorithm Simulation Y Huang, S Holtzen, T Millstein, G Van den Broeck, M Martonosi International Conference on Architectural Support for Programming Languages …, 2021 | 26 | 2021 |
| Sound Abstraction and Decomposition of Probabilistic Programs S Holtzen, G Van den Broeck, T Millstein International Conference on Machine Learning (ICML) 35, 2018 | 24 | 2018 |
| Generating and Sampling Orbits for Lifted Probabilistic Inference S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence (UAI), 2019 | 20 | 2019 |
| On the Relationship Between Probabilistic Circuits and Determinantal Point Processes H Zhang, S Holtzen, GV Broeck Proceedings of the 36th Conference on Uncertainty in Aritifical Intelligence …, 2020 | 19 | 2020 |
| 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 | 17 | 2023 |
| Probabilistic Program Abstractions S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence (UAI), 2017 | 17 | 2017 |
| Represent and Infer Human Theory of Mind for Human-Robot Interaction Y Zhao, S Holtzen, T Gao, SC Zhu 2015 AAAI Fall Symposium Series, 2015 | 16 | 2015 |
| A Nominal Approach to Probabilistic Separation Logic JM Li, J Aytac, P Johnson-Freyd, A Ahmed, S Holtzen ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024 | 15 | 2024 |
| Bit Blasting Probabilistic Programs P Garg, S Holtzen, GV Broeck, T Millstein ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024 | 15 | 2024 |
| Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. S Holtzen, GV Broeck, TD Millstein | 11 | 2020 |
| Symbolic Exact Inference for Discrete Probabilistic Programs S Holtzen, T Millstein, G Van den Broeck arXiv preprint arXiv:1904.02079, 2019 | 8 | 2019 |
| Type prediction with program decomposition and fill-in-the-type training F Cassano, MH Yee, N Shinn, A Guha, S Holtzen arXiv preprint arXiv:2305.17145, 2023 | 4 | 2023 |
| flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs EY Cheng, T Millstein, GV Broeck, S Holtzen arXiv preprint arXiv:2110.10284, 2021 | 4 | 2021 |
| Multi-Language Probabilistic Programming S Stites, JM Li, S Holtzen Proceedings of the ACM on Programming Languages 9 (OOPSLA1), 1239-1266, 2025 | 3 | 2025 |
| Ahead-of-time compilation for diverse samplers of constrained design spaces A Madkour, R Mawhorter, S Marsella, AM Smith, S Holtzen Proceedings of the 19th International Conference on the Foundations of …, 2024 | 3 | 2024 |
Guy Van den BroeckProfessor, UCLAVerified email at cs.ucla.edu
