Steven Holtzen

According to our database, Steven Holtzen authored at least 21 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bit Blasting Probabilistic Programs.

Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proc. ACM Program. Lang., 2024

A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Ahead-of-time Compilation for Diverse Samplers of Constrained Design Spaces.

Abdelrahman Madkour, Ross Mawhorter, Stacy Marsella, Adam M. Smith, Steven Holtzen

Proceedings of the 19th International Conference on the Foundations of Digital Games, 2024

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting.

Lisa Oakley, Steven Holtzen, Alina Oprea

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Lilac: A Modal Separation Logic for Conditional Probability.

John M. Li, Amal Ahmed, Steven Holtzen

Proc. ACM Program. Lang., 2023

Type Prediction With Program Decomposition and Fill-in-the-Type Training.

Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen

CoRR, 2023

Scaling integer arithmetic in probabilistic programs.

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Probabilistic Logic Programming Semantics For Procedural Content Generation.

Abdelrahman Madkour, Chris Martens, Steven Holtzen, Casper Harteveld, Stacy Marsella

Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2023

2021

Experiments for '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

Dataset, April, 2021

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs.

Yu-Hsi Cheng, Todd D. Millstein, Guy Van den Broeck, Steven Holtzen

CoRR, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Logical abstractions for noisy variational Quantum algorithm simulation.

Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Scaling exact inference for discrete probabilistic programs.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proc. ACM Program. Lang., 2020

Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

CoRR, 2020

On the Relationship Between Probabilistic Circuits and Determinantal Point Processes.

Honghua Zhang, Steven Holtzen, Guy Van den Broeck

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

2019

Symbolic Exact Inference for Discrete Probabilistic Programs.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

CoRR, 2019

Generating and Sampling Orbits for Lifted Probabilistic Inference.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

2018

Sound Abstraction and Decomposition of Probabilistic Programs.

Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

Probabilistic Program Abstractions.

Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

2016

Inferring human intent from video by sampling hierarchical plans.

Steven Holtzen, Yibiao Zhao, Tao Gao, Joshua B. Tenenbaum, Song-Chun Zhu

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

Represent and Infer Human Theory of Mind for Human-Robot Interaction.

Yibiao Zhao, Steven Holtzen, Tao Gao, Song-Chun Zhu

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015