About

I am a PhD. candidate at U.C.L.A., co-advised by Guy Van den Broeck and Todd Millstein. My research interests include:

  • Probabilistic Programming
  • Machine Learning
  • Program Analysis
  • Computer Security

I would love to hear from you:

Preprints

[abs/1903.04672] Steven Holtzen, Todd Millstein, and Guy Van den Broeck. Generating and Sampling Orbits for Lifted Probabilistic Inference.
[abs/1904.02079] Steven Holtzen, Todd Millstein, and Guy Van den Broeck. Symbolic Exact Inference for Discrete Probabilistic Programs.

Publications

[ICML18] Steven Holtzen, Guy Van den Broeck, and Todd Millstein. Sound Abstraction and Decomposition of Probabilistic Programs. In Proceedings of the 35th International Conference on Machine Learning (ICML), 2018. BibTeX.
[UAI17] Steven Holtzen, Todd Millstein, and Guy Van den Broeck. Probabilistic Program Abstractions. In Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI), 2017. BibTeX.
[IROS16] Steven Holtzen*, Yibiao Zhao*, Tao Gao, Josh Tenenbaum, and Song-Chun Zhu. Inferring Human Intent from Video by Sampling Hierarchical Plans. In IEEE International Conference on Intelligent Robots and Systems (IROS), 2016.

Talks & Presentations

  1. LAFI 2019 for our work on exact symbolic inference for probabilistic programs.
  2. POPL PPS 2018 for our work on probabilistic program abstractions for probabilistic program inference.
  3. StarAI 2017 for our UAI work on probabilistic program abstractions.

Professional Service

Bio

Education

  • Sept. 2017 – Present.
    PhD., Computer Science. UCLA.
  • Sept. 2015 – Jul. 2017.
    M.S., Computer Science. UCLA.
  • Sept. 2011 – Jun. 2015.
    B.S., Computer Science. UCLA.

Employment

  • July 2015 – Present.
    Sandia National Laboratories. Member of technical staff.
  • June 2014 – Sept. 2014
    Palantir Technologies. Forward Deployed Engineering Intern on the Healthcare Team (Helix).
  • Apr. 2013 – Sept. 2013
    Symantec Corporation. Security technology and response team intern.

Awards & Honors