• Sign in
  • Sign up
conf.researchr.org / Fabian Zaiser
  • PLDI 2022 profile
  • PLDI 2023 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
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

Share
xFri 2 Jun 08:06
using conf.researchr.org (v1.60.0)
Support page
Sign Up