Fabian Zaiser -

Registered user since Mon 14 Dec 2020

Name:Fabian Zaiser

Affiliation:University of Oxford

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

Research interests:Probabilistic Programming, Verification

Contributions

PLDI 2023	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
LAFI 2023	Author of Exact Inference for Discrete Probabilistic Programs via Generating Functions within the LAFI 2023-track
PLDI 2022	Author of Guaranteed bounds for posterior inference in universal probabilistic programming within the PLDI-track
LAFI 2022	Author of Nonparametric Involutive Markov Chain Monte Carlo within the LAFI-track Author of Rigorous Approximation of Posterior Inference for Probabilistic Programs within the LAFI-track
LAFI 2021	Author of Binary Tree Hamiltonian Monte Carlo within the LAFI 2021-track