• Sign in
  • Sign up
conf.researchr.org / Fabian Zaiser
  • PLDI 2022 profile
  • POPL 2021 profile
  • POPL 2022 profile
Fabian Zaiser

Registered user since Mon 14 Dec 2020

Name:Fabian Zaiser
Affiliation:University of Oxford
Personal website:https://www.cs.ox.ac.uk/people/fabian.zaiser/
Research interests:Probabilistic Programming, Verification

Contributions

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
xThu 19 May 05:38
using conf.researchr.org (v1.55.6)
Support page
Sign Up