Yuxiang
Peng
Leng, J., Zheng, Y., Jia, Z., Fan, L., Zhao, C., Peng, Y., & Wu, X. (2025). Quantum Hamiltonian Descent for Non-smooth Optimization. Https://arxiv.org/Abs/2503.15878. Retrieved from https://arxiv.org/abs/2503.15878 (Original work published March 2025)
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)