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

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
POPL 2023 Session Chair of Probabilistic Inference (part of POPL)
LAFI 2023 Session Chair of Second Session (part of LAFI 2023)
Session Chair of Third Session (part of LAFI 2023)
Author of New foundations for probabilistic separation logic within the LAFI 2023-track
Co-chair of Opening Comments within the LAFI 2023-track
Co-chair in Program Committee within the LAFI 2023-track
Co-chair in Organizing Committee within the LAFI 2023-track
Session Chair of First Session (part of LAFI 2023)
Author of Bit-Blasting Probabilistic Programs within the LAFI 2023-track
Session Chair of Poster Session (part of LAFI 2023)
PLDI 2022 Author of (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs within the SIGPLAN Track-track
Committee Member in PLDI within the PLDI-track
Session Chair of Special Effects (part of SIGPLAN 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