Publications

*: equal contribution

• QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Decent (code)
  • Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu
  • Manuscript, 2024.
• Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding (paper) (code)
  • Jiaqi Leng*, Joseph Li*, Yuxiang Peng, Xiaodi Wu
  • Manuscript, 2024.
• SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation (paper) (website) (code)
  • Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu
  • In Proceedings of the ACM on Programming Languages, 8 (POPL), 2425-2455, 2024.
• A Case for Synthesis of Recursive Quantum Unitary Programs (paper) (code)
  • Haowei Deng*, Runzhou Tao*, Yuxiang Peng, Xiaodi Wu
  • In Proceedings of the ACM on Programming Languages, 8 (POPL), 1759-1788, 2024.
• Differentiable Analog Quantum Computing for Optimization and Control (paper) (code)
  • Jiaqi Leng*, Yuxiang Peng*, Yi-Ling Qiao*, Ming Lin, Xiaodi Wu
  • In the 36th Conference on Neural Information Processing Systems (NeurIPS 2022).
• A Formally Certified End-to-End Implementation of Shor’s Factorization Algorithm (paper) (code)
  • Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
  • In the Proceedings of the National Academy of Sciences (PNAS) 120 (21) e2218775120, 2023.
• Verified Compilation of Quantum Oracles (paper) (code)
  • Liyi Li, Finnegan Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
  • In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2022.
• Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC) (paper) (code)
  • Haowei Deng, Yuxiang Peng, Micheal Hicks, Xiaodi Wu
  • In ACM Transactions on Quantum Computing (TQC), Volume 4, Issue 3, 2023.
• Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra (paper)
  • Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
  • In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
• Experimental Realization of Device-Independent Quantum Randomness Expansion (paper)
  • Ming-Han Li, Xingjian Zhang, Wen-Zhao Liu, Si-Ran Zhao, Bing Bai, Yang Liu, Qi Zhao, Yuxiang Peng, Jun Zhang, Yanbao Zhang, William J. Munro, Xiongfeng Ma, Qiang Zhang, Jingyun Fan, Jian-Wei Pan
  • In Physical Review Letters 126.5 (2021): 050503.
• On the Theory and Practice of Invariant-based Verification of Quantum Programs
  • Shih-Han Hung, Yuxiang Peng, Xin Wang, Shaopeng Zhu, Xiaodi Wu
  • Manuscript, 2019.
• Cascaded Pyramid Network for Multi-Person Pose Estimation (paper) (code)
  • Yilun Chen*, Zhicheng Wang*, Yuxiang Peng, Zhiqiang Zhang, Gang Yu, Jian Sun
  • In Proceedings of the IEEE conference on computer vision and pattern recognition (CVPR), 2018.