Fabian Zaiser - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

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

2024

Dafny

VMC: a Dafny Library for Verified Monte Carlo Algorithms

LAFI

Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions

Show activities from other conferences

POPL 2024-profile
View general profile