Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaopeng Zhu
conf.researchr.org general profile
ICFP 2024 profile
PLDI 2020 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2019 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2024 profile
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
Share
x
Thu 15 May 14:54
Otomatik - 131.180.119.74
CloudFlare DNS
Türk Telekom DNS
Google DNS
Open DNS
OSZAR »