Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuxiang Peng
conf.researchr.org general profile
PLDI 2022 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2022 profile
Registered user since Wed 13 Jan 2021
Name:
Yuxiang Peng
Country:
United States
Affiliation:
University of Maryland
Contributions
2024
POPL
Author of SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation within the POPL-track
Author of A Case for Synthesis of Recursive Quantum Unitary Programs within the POPL-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
SPLASH
Author of Verified Compilation of Quantum Oracles within the OOPSLA-track
PLDI
Author of Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra within the PLDI-track
2021
POPL
Author of Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra within the Student Research Competition-track
Share
x
Thu 21 Nov 20:05