• Sign in
  • Sign up
conf.researchr.org / Yuan Zhou
  • APSEC 2024 profile
  • ESEC/FSE 2021 profile
  • POPL 2020 profile
  • POPL 2022 profile
No Photo

Registered user since Sat 24 Jul 2021

Name:Yuan Zhou
Country:United Kingdom
Affiliation:University of Oxford
Research interests:Probabilistic Programming, Machine Learning

Contributions

2024

APSEC

  • Author of Sound Floating-Point Neural Network Verification with MILP within the Technical Track-track

2022

LAFI

  • Committee Member in Program Committee within the LAFI-track

2021

ESEC/FSE

  • Author of Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis within the Research Papers-track

2020

LAFI

  • Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (nĂ© PPS)-track
Share
xMon 19 May 01:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up