Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuxin Deng
conf.researchr.org general profile
POPL 2020 profile
POPL 2024 profile
Registered user since Mon 11 Nov 2019
Name:
Yuxin Deng
Affiliation:
East China Normal University
Contributions
2024
VMCAI
Author of Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs within the VMCAI 2024-track
2020
POPL
Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track
PLanQC
Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track
Share
x
Sat 21 Dec 19:11