Steven Holtzen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FDG | Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces. | Abdelrahman Madkour, Ross Mawhorter, Stacy Marsella, Adam M. Smith, Steven Holtzen |
| 2024 | LICS | A Nominal Approach to Probabilistic Separation Logic. | John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen |
| 2023 | UAI | Scaling integer arithmetic in probabilistic programs. | William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2021 | ASPLOS | Logical abstractions for noisy variational Quantum algorithm simulation. | Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi |
| 2021 | CAV | Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck |
| 2020 | UAI | On the Relationship Between Probabilistic Circuits and Determinantal Point Processes. | Honghua Zhang, Steven Holtzen, Guy Van den Broeck |
| 2019 | UAI | Generating and Sampling Orbits for Lifted Probabilistic Inference. | Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2018 | ICML | Sound Abstraction and Decomposition of Probabilistic Programs. | Steven Holtzen, Guy Van den Broeck, Todd D. Millstein |
| 2017 | UAI | Probabilistic Program Abstractions. | Steven Holtzen, Todd D. Millstein, Guy Van den Broeck |
| 2016 | IROS | Inferring human intent from video by sampling hierarchical plans. | Steven Holtzen, Yibiao Zhao, Tao Gao, Joshua B. Tenenbaum, Song-Chun Zhu |