Steven Holtzen

Registered user since Sun 24 Dec 2017

Name:Steven Holtzen
Bio:

I am an assistant professor at Northeastern University. My research focuses on programming languages, artificial intelligence, and machine learning. My goal is to design systems that make probabilistic modeling fast, accessible, and useful for solving every day reasoning tasks. Broadly my research focuses on (1) The design, implementation, and applications of probabilistic programming languages; (2) Foundations of probabilistic inference and tractable probabilistic modeling; (3) Automated reasoning and probabilistic verification.

Country:United States
Affiliation:Northeastern University
Research interests:Machine Learning, Probabilistic Programming, Program Analysis, Computer Security

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
LAFI 2021 Committee Member in Program Committee within the LAFI 2021-track
SPLASH 2020 Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA-track
Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA Artifacts-track
Author of Scaling Exact Inference for Discrete Probabilistic Programs within the Posters-track
LAFI 2019 Committee Member in Program Committee within the LAFI (né PPS)-track
Session Chair of B (part of LAFI (né PPS))
Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track
PPS 2018 Author of Probabilistic Program Inference With Abstractions within the PPS 2018-track