Steven Holtzen

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 29

Top Venues

CoRR

UAI

Proc. ACM Program. Lang.

AAAI Fall Symposia

University of California, Los Angeles, USA (PHD)

Education History

University of California, Los Angeles, USA

PHD

Publications

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

Steven Holtzen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steven Holtzen