Peixin Wang -

Registered user since Tue 29 Jan 2019

Name:Peixin Wang

Affiliation:Shanghai Jiao Tong University

Contributions

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