Steven Holtzen

35 papers A* 3A 6C 1Journal 22Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Multi-Language Probabilistic Programming.
CoRR
Sam Stites, John M. Li, Steven Holtzen
2025 J jnl
Multi-Language Probabilistic Programming.
Proc. ACM Program. Lang.
Sam Stites, John M. Li, Steven Holtzen
2025 J jnl
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming.
Proc. ACM Program. Lang.
Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, Steven Holtzen
2025 J jnl
Scaling Optimization Over Uncertainty via Compilation.
CoRR
Minsung Cho, John Gouwar, Steven Holtzen
2025 J jnl
Scaling Optimization over Uncertainty via Compilation.
Proc. ACM Program. Lang.
Minsung Cho, John Gouwar, Steven Holtzen
2024 A* conf
A Nominal Approach to Probabilistic Separation Logic.
LICS
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2024 J jnl
A Nominal Approach to Probabilistic Separation Logic.
CoRR
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
2024 C conf
Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces.
FDG
Abdelrahman Madkour, Ross Mawhorter, Stacy Marsella, Adam M. Smith, Steven Holtzen
2024 J jnl
Bit Blasting Probabilistic Programs.
Proc. ACM Program. Lang.
Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2024 A conf
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting.
CSF
Lisa Oakley, Steven Holtzen, Alina Oprea
2024 J jnl
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting.
CoRR
Lisa Oakley, Steven Holtzen, Alina Oprea
2023 J jnl
Bit Blasting Probabilistic Programs.
CoRR
Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2023 J jnl
Lilac: A Modal Separation Logic for Conditional Probability.
Proc. ACM Program. Lang.
John M. Li, Amal Ahmed, Steven Holtzen
2023 J jnl
Lilac: a Modal Separation Logic for Conditional Probability.
CoRR
John M. Li, Amal Ahmed, Steven Holtzen
2023 — conf
Probabilistic Logic Programming Semantics For Procedural Content Generation.
AIIDE
Abdelrahman Madkour, Chris Martens, Steven Holtzen, Casper Harteveld, Stacy Marsella
2023 J jnl
Scaling Integer Arithmetic in Probabilistic Programs.
CoRR
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2023 A conf
Scaling integer arithmetic in probabilistic programs.
UAI
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2023 J jnl
Type Prediction With Program Decomposition and Fill-in-the-Type Training.
CoRR
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen
2021 J jnl
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation.
CoRR
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
2021 A* conf
Logical abstractions for noisy variational Quantum algorithm simulation.
ASPLOS
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
2021 — conf
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.
CAV (2)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021 J jnl
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.
CoRR
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
2021 J jnl
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs.
CoRR
Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen
2020 J jnl
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.
CoRR
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2020 A conf
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes.
UAI
Honghua Zhang, Steven Holtzen, Guy Van den Broeck
2020 J jnl
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes.
CoRR
Honghua Zhang, Steven Holtzen, Guy Van den Broeck
2020 J jnl
Scaling exact inference for discrete probabilistic programs.
Proc. ACM Program. Lang.
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2019 A conf
Generating and Sampling Orbits for Lifted Probabilistic Inference.
UAI
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2019 J jnl
Generating and Sampling Orbits for Lifted Probabilistic Inference.
CoRR
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2019 J jnl
Symbolic Exact Inference for Discrete Probabilistic Programs.
CoRR
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2018 A* conf
Sound Abstraction and Decomposition of Probabilistic Programs.
ICML
Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
2017 A conf
Probabilistic Program Abstractions.
UAI
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2017 J jnl
Probabilistic Program Abstractions.
CoRR
Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
2016 A conf
Inferring human intent from video by sampling hierarchical plans.
IROS
Steven Holtzen, Yibiao Zhao, Tao Gao, Joshua B. Tenenbaum, Song-Chun Zhu
2015 — conf
Represent and Infer Human Theory of Mind for Human-Robot Interaction.
AAAI Fall Symposia
Yibiao Zhao, Steven Holtzen, Tao Gao, Song-Chun Zhu