Xiaodi Wu

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)

You, X. ., & Wu, X. . (2021). Exponentially Many Local Minima in Quantum Neural Networks. In Proceedings of the 38th International Conference on Machine Learning, PMLR (Vol. 139, pp. 12144–12155). Retrieved from https://proceedings.mlr.press/v139/you21c.html (Original work published October 2021)

Barbosa, M. ., Barthe, G. ., Fan, X. ., Grégoire, B. ., Hung, S.-H. ., Katz, J. ., … Zhou, L. . (2021). EasyPQC: Verifying Post-Quantum Cryptography. In ACM CCS 2021. http://doi.org/10.1145/3460120.3484567 (Original work published September 2021)

Hietala, K. ., Li, L. ., Gaur, A. ., Green, A. ., Rand, R. ., Wu, X. ., & Hicks, M. . (2021). Expanding the VOQC Toolkit. In The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Retrieved from http://rand.cs.uchicago.edu/files/planqc_2021c.pdf (Original work published June 2021)

Hietala, K. ., Rand, R. ., Hung, S.-H. ., Wu, X. ., & Hicks, M. . (2021). A Verified Optimizer for Quantum Circuits. Proceedings of the ACM on Programming Languages, 5. http://doi.org/10.1145/3434318 (Original work published January 2021)

Li, T. ., Wang, C. ., Chakrabarti, S. ., & Wu, X. . (2021). Sublinear Classical and Quantum Algorithms for General Matrix Games. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 8465–8473). Association for the Advancement of Artificial Intelligence (AAAI). http://doi.org/10.1609/aaai.v35i10.17028 (Original work published May 2021)

Peng, T. ., Harrow, A. ., Ozols, M. ., & Wu, X. . (2020). Simulating large quantum circuits on a small quantum computer. Phys. Rev. Lett., 125. http://doi.org/10.1103/PhysRevLett.125.150504 (Original work published December 2020)

Chung, K.-M. ., Lee, Y. ., Lin, H.-H. ., & Wu, X. . (2020). Constant-round Blind Classical Verification of Quantum Sampling. ArXiv. Retrieved from https://arxiv.org/abs/2012.04848 (Original work published December 2020)

Zhu, S. ., Hung, S.-H. ., Chakrabarti, S. ., & Wu, X. . (2020). On the principles of differentiable quantum programming languages. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 272–285). ACM. http://doi.org/10.1145/3385412.3386011 (Original work published June 2020)