Shaopeng Zhu -

Registered user since Wed 26 Aug 2020

Name:Shaopeng Zhu

Personal website: https://sites.google.com/umd.edu/shaopengzhu/home

Research interests:Verification, Separation Logic, Formal Methods, Semantics, Concurrency

Contributions

2025

POPL

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

2024

SPLASH

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

ICFP

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

PLDI

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

POPL

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

2020

PLDI

Author of On the Principles of Differentiable Quantum Programming Languages within the PLDI Research Papers-track

2019

POPL

Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track