Yuxiang Peng

Kushnir, S. ., Leng, J. ., Peng, Y. ., Fan, L. ., & Wu, X. . (2024). QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent. ArXiv. Retrieved from https://arxiv.org/abs/2409.03121 (Original work published September 2024)

Leng, J. ., Li, J. ., Peng, Y. ., & Wu, X. . (2024). Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding. ArXiv. Retrieved from https://arxiv.org/abs/2401.08550 (Original work published January 2024)

Deng, H. ., Tao, R. ., Peng, Y. ., & Wu, X. . (2024). A Case for Synthesis of Recursive Quantum Unitary Programs. Proceedings of the ACM on Programming Languages, 8, 1759–1788. http://doi.org/10.1145/3632901 (Original work published January 2024)

Peng, Y. ., Young, J. ., Liu, P. ., & Wu, X. . (2023). SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation. Proceedings of the ACM on Programming Languages, 8. http://doi.org/10.1145/3632923 (Original work published January 2024)

Li, L. ., Voichick, F. ., Hietala, K. ., Peng, Y. ., Wu, X. ., & Hicks, M. . (2021). Verified Compilation of Quantum Oracles. ArXiv. Retrieved from https://arxiv.org/abs/2112.06700 (Original work published December 2021)

Peng, Y. ., Ying, M. ., & Wu, X. . (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 657–670). ACM. http://doi.org/10.1145/3519939.3523713 (Original work published June 2022)