Yuxiang Peng -

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