conf.researchr.org / Peixin Wang

Registered user since Tue 29 Jan 2019

Name: Peixin Wang

Affiliation: Shanghai Jiao Tong University

Contributions

POPL 2021Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
PLDI 2019Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track