Fabian Zaiser -

Registered user since Mon 14 Dec 2020

Name:Fabian Zaiser

Affiliation:MIT

Personal website: https://www.fabianzaiser.com

Research interests:Probabilistic Programming, Verification

Contributions

2026

Dafny

Committee Member in Program Committee within the Dafny 2026-track

LAFI

Committee Member in Program Committee within the LAFI 2026-track

2025

POPL

Author of Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops within the POPL-track

2024

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

Dafny

Author of VMC: a Dafny Library for Verified Monte Carlo Algorithms within the Dafny 2024-track

LAFI

Author of Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions within the LAFI 2024-track

2023

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

LAFI

Author of Exact Inference for Discrete Probabilistic Programs via Generating Functions within the LAFI 2023-track

2022

PLDI

Author of Guaranteed bounds for posterior inference in universal probabilistic programming within the PLDI-track

LAFI

2021

LAFI

Author of Binary Tree Hamiltonian Monte Carlo within the LAFI 2021-track