Xiaodi Wu

Cao, Y. ., Liu, S. ., Deng, H. ., Xia, Z. ., Wu, X. ., & Wang, Y.-X. . (2024). Robust analog quantum simulators by quantum error-detecting codes. ArXiv. Retrieved from https://arxiv.org/abs/2412.07764 (Original work published December 2024)

Zheng, Y. ., Leng, J. ., Liu, Y. ., & Wu, X. . (2024). On the Computational Complexity of Schrödinger Operators. ArXiv. Retrieved from https://arxiv.org/abs/2411.05120 (Original work published November 2024)

Clayton, C. ., Leng, J. ., Yang, G. ., Qiao, Y.-L. ., Lin, M. ., & Wu, X. . (2024). Differentiable Quantum Computing for Large-scale Linear Control. ArXiv. Retrieved from https://arxiv.org/abs/2411.01391 (Original work published November 2024)

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)

Li, L. ., Chang, L. ., Cleaveland, R. ., Zhu, M. ., & Wu, X. . (2024). The Quantum Abstract Machine. ArXiv. Retrieved from https://arxiv.org/abs/2402.13469 (Original work published February 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)

Li, L. ., Zhu, M. ., Cleaveland, R. ., Nicolellis, A. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2024). Qafny: A Quantum-Program Verifier. In ECOOP 2024. http://doi.org/10.4230/LIPIcs.ECOOP.2024.24 (Original work published September 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)

Senanian, A. ., Prabhu, S. ., Kremenetski, V. ., Roy, S. ., Cao, Y. ., Kline, J. ., … McMahon, P. . (2024). Microwave signal processing using an analog quantum reservoir computer. Nature Communications, 15. http://doi.org/10.1038/s41467-024-51161-8 (Original work published August 2024)

Alexeev, Y. ., Amsler, M. ., Barroca, M. ., Bassini, S. ., Battelle, T. ., Camps, D. ., … Zubarev, D. . (2024). Quantum-centric supercomputing for materials science: A perspective on challenges and future directions. Future Generation Computer Systems, 160, 666–710. http://doi.org/10.1016/j.future.2024.04.060 (Original work published November 2024)