| 2024 | ECOOP | Qafny: A Quantum-Program Verifier. | Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu |
| 2024 | ICNP | Efficient Routing on Quantum Networks Using Adaptive Clustering. | Connor Clayton, Xiaodi Wu, Bobby Bhattacharjee |
| 2023 | CRYPTO | Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. | Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grgoire, Yu-Hsuan Huang, Andreas Hlsing, Yi Lee, Xiaodi Wu |
| 2023 | ICASSP | Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies. | Yingkang Cao, Xiaodi Wu |
| 2023 | ICML | Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels. | Xuchen You, Shouvanik Chakrabarti, Boyang Chen, Xiaodi Wu |
| 2023 | ICONIP | Multi-view Consistency View Synthesis. | Xiaodi Wu, Zhiqiang Zhang, Wenxin Yu, Shiyu Chen, Yufei Gao, Peng Chen, Jun Gong |
| 2023 | ICONIP | Depth Normalized Stable View Synthesis. | Xiaodi Wu, Zhiqiang Zhang, Wenxin Yu, Shiyu Chen, Yufei Gao, Peng Chen, Jun Gong |
| 2022 | EuroCrypt | Constant-Round Blind Classical Verification of Quantum Sampling. | Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu |
| 2022 | PLDI | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. | Yuxiang Peng, Mingsheng Ying, Xiaodi Wu |
| 2021 | AAAI | Sublinear Classical and Quantum Algorithms for General Matrix Games. | Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu |
| 2021 | CCS | EasyPQC: Verifying Post-Quantum Cryptography. | Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grgoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou |
| 2021 | ICCAD | ICCAD Special Session Paper: Quantum Variational Methods for Quantum Applications. | Shouvanik Chakrabarti, Xuchen You, Xiaodi Wu |
| 2021 | ICML | Exponentially Many Local Minima in Quantum Neural Networks. | Xuchen You, Xiaodi Wu |
| 2020 | PLDI | On the principles of differentiable quantum programming languages. | Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu |
| 2019 | ICALP | Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning. | Fernando G. S. L. Brando, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu |
| 2019 | ICML | Sublinear quantum algorithms for training linear and kernel-based classifiers. | Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu |
| 2017 | POPL | Invariants of quantum programs: characterisations and generation. | Mingsheng Ying, Shenggang Ying, Xiaodi Wu |
| 2016 | STOC | Sample-optimal tomography of quantum states. | Jeongwan Haah, Aram W. Harrow, Zheng-Feng Ji, Xiaodi Wu, Nengkun Yu |
| 2012 | ICALP | Epsilon-Net Method for Optimizations over Separable States. | Yaoyun Shi, Xiaodi Wu |