Peixin Wang -

Registered user since Fri 11 Feb 2022

Name:Peixin Wang

Affiliation:University of Oxford

Contributions

2025

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

PLDI

Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the PLDI Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

LAFI

Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the LAFI 2024-track

VMCAI

Author of Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training within the VMCAI 2024-track

2023

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2022

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track