Xiaodi Wu

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)

Leng, J., Zheng, Y., & Wu, X. (2023). A quantum-classical performance separation in nonconvex optimization. ArXiv. Retrieved from https://arxiv.org/abs/2311.00811 (Original work published November 2023)

Barbosa, M., Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., … Wu, X. (2023). Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. Cryptology EPrint Archive. Retrieved from https://eprint.iacr.org/2023/246 (Original work published February 2023)

Li, L., Zhu, M., Cleaveland, R., Lee, Y., Chang, L., & Wu, X. (2023). Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published July 2023)

Chakrabarti, S., Childs, A. M., Hung, S.-H., Li, T., Wang, C., & Wu, X. (2023). Quantum Algorithm for Estimating Volumes of Convex Bodies. ACM Transactions on Quantum Computing, 4, 1–60. http://doi.org/10.1145/3588579 (Original work published May 2023)

You, X., Chakrabarti, S., Chen, B., & Wu, X. (2023). Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels. ArXiv. Retrieved from https://arxiv.org/abs/2303.14844 (Original work published March 2023)

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)

Leng, J., Hickman, E., Li, J., & Wu, X. (2023). Quantum Hamiltonian Descent. ArXiv. Retrieved from https://arxiv.org/abs/2303.01471 (Original work published March 2023)

Li, L., Zhu, M., Lee, Y., Chang, L., & Wu, X. (2022). Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published November 2022)

Fang, W., Ying, M., & Wu, X. (2022). Differentiable Quantum Programming with Unbounded Loops. ArXiv. Retrieved from https://arxiv.org/abs/2211.04507 (Original work published November 2022)