Equilibrium Value Method for the Proof of QIP=PSPACE - Xiaodi Wu 001 (CoRR, 2010)

Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory - Xiaodi Wu 001 (CoRR, 2010)

Short quantum games characterize PSPACE - Gus Gutoski; Xiaodi Wu 001 (CoRR, 2010)

Parallel Approximation of Min-max Problems with Applications to Classical and Quantum Zero-Sum Games. - Gus Gutoski; Xiaodi Wu 001 (CCC, 2012)

Parallel Approximation of Min-Max Problems. - Gus Gutoski; Xiaodi Wu 001 (Comput. Complex., 2013)

Space-efficient Simulations of Quantum Interactive Proofs. - Xiaodi Wu 001 (2013)

Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications. - Kai-Min Chung; Xin Li 006; Xiaodi Wu 001 (Electron. Colloquium Comput. Complex., 2014)

Parallel Repetition for Entangled k-player Games via Fast Quantum Search. - Kai-Min Chung; Xiaodi Wu 001; Henry S. Yuen (CCC, 2015)

An improved semidefinite programming hierarchy for testing entanglement. - Aram W. Harrow; Anand Natarajan 001; Xiaodi Wu 001 (CoRR, 2015)

Epsilon-net method for optimizations over separable states. - Yaoyun Shi; Xiaodi Wu 001 (Theor. Comput. Sci., 2015)

Tight SoS-Degree Bounds for Approximate Nash Equilibria. - Aram W. Harrow; Anand Natarajan 001; Xiaodi Wu 001 (CCC, 2016)

Limitations of semidefinite programs for separable states and entangled games. - Aram W. Harrow; Anand Natarajan 001; Xiaodi Wu 001 (CoRR, 2016)

Invariants of quantum programs: characterisations and generation. - Mingsheng Ying; Shenggang Ying; Xiaodi Wu 001 (POPL, 2017)

Computational Notions of Quantum Min-Entropy. - Yi-Hsiu Chen; Kai-Min Chung; Ching-Yi Lai; Salil P. Vadhan; Xiaodi Wu 001 (CoRR, 2017)

Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning. - Fernando G. S. L. Brandão; Amir Kalev; Tongyang Li; Cedric Yen-Yu Lin; Krysta M. Svore; Xiaodi Wu 001 (CoRR, 2017)

Raz-McKenzie simulation with the inner product gadget. - Xiaodi Wu 001; Penghui Yao; Henry S. Yuen (Electron. Colloquium Comput. Complex., 2017)

Sample-Optimal Tomography of Quantum States. - Jeongwan Haah; Aram W. Harrow; Zhengfeng Ji; Xiaodi Wu 001; Nengkun Yu (IEEE Trans. Inf. Theory, 2017)

Quantitative Robustness Analysis of Quantum Programs (Extended Version). - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2018)

Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning. - Fernando G. S. L. Brandão; Amir Kalev; Tongyang Li; Cedric Yen-Yu Lin; Krysta M. Svore; Xiaodi Wu 001 (ICALP, 2019)

Sublinear quantum algorithms for training linear and kernel-based classifiers. - Tongyang Li; Shouvanik Chakrabarti; Xiaodi Wu 001 (ICML, 2019)

Quantum Wasserstein Generative Adversarial Networks. - Shouvanik Chakrabarti; Yiming Huang; Tongyang Li; Soheil Feizi; Xiaodi Wu 001 (NeurIPS, 2019)

Verified Optimization in a Quantum Intermediate Representation. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (CoRR, 2019)

Quantum algorithm for estimating volumes of convex bodies. - Shouvanik Chakrabarti; Andrew M. Childs; Shih-Han Hung; Tongyang Li; Chunhao Wang; Xiaodi Wu 001 (CoRR, 2019)

Quantitative robustness analysis of quantum programs. - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (Proc. ACM Program. Lang., 2019)

Quantum Query Complexity of Entropy Estimation. - Tongyang Li; Xiaodi Wu 001 (IEEE Trans. Inf. Theory, 2019)

On the principles of differentiable quantum programming languages. - Shaopeng Zhu; Shih-Han Hung; Shouvanik Chakrabarti; Xiaodi Wu 001 (PLDI, 2020)

Quantum algorithms and lower bounds for convex optimization. - Shouvanik Chakrabarti; Andrew M. Childs; Tongyang Li; Xiaodi Wu 001 (Quantum, 2020)

Sublinear Classical and Quantum Algorithms for General Matrix Games. - Tongyang Li; Chunhao Wang; Shouvanik Chakrabarti; Xiaodi Wu 001 (AAAI, 2021)

ICCAD Special Session Paper: Quantum Variational Methods for Quantum Applications. - Shouvanik Chakrabarti; Xuchen You; Xiaodi Wu 001 (ICCAD, 2021)

Exponentially Many Local Minima in Quantum Neural Networks. - Xuchen You; Xiaodi Wu 001 (ICML, 2021)

EasyPQC: Verifying Post-Quantum Cryptography. - Manuel Barbosa; Gilles Barthe; Xiong Fan; Benjamin Grégoire; Shih-Han Hung; Jonathan Katz; Pierre-Yves Strub; Xiaodi Wu 001; Li Zhou 013 (IACR Cryptol. ePrint Arch., 2021)

A verified optimizer for Quantum circuits. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2021)

Constant-Round Blind Classical Verification of Quantum Sampling. - Kai-Min Chung; Yi Lee; Han-Hsuan Lin; Xiaodi Wu 001 (EUROCRYPT (3), 2022)

Differentiable Analog Quantum Computing for Optimization and Control. - Jiaqi Leng; Yuxiang Peng; Yi-Ling Qiao; Ming C. Lin; Xiaodi Wu 001 (NeurIPS, 2022)

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. - Yuxiang Peng; Mingsheng Ying; Xiaodi Wu 001 (PLDI, 2022)

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. - Yuxiang Peng; Kesha Hietala; Runzhou Tao; Liyi Li 002; Robert Rand 001; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2022)

A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers. - Xuchen You; Shouvanik Chakrabarti; Xiaodi Wu 001 (CoRR, 2022)

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. - Liyi Li 002; Mingwei Zhu; Yi Lee; Le Chang; Xiaodi Wu 001 (CoRR, 2022)

Verified compilation of Quantum oracles. - Liyi Li 002; Finn Voichick; Kesha Hietala; Yuxiang Peng; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies. - Yingkang Cao; Xiaodi Wu 001 (ICASSP, 2023)

Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels. - Xuchen You; Shouvanik Chakrabarti; Boyang Chen; Xiaodi Wu 001 (ICML, 2023)

Quantum Hamiltonian Descent. - Jiaqi Leng; Ethan Hickman; Joseph Li; Xiaodi Wu 001 (CoRR, 2023)

SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation. - Yuxiang Peng; Jacob Young; Pengyu Liu; Xiaodi Wu 001 (CoRR, 2023)

A quantum-classical performance separation in nonconvex optimization. - Jiaqi Leng; Yufan Zheng; Xiaodi Wu 001 (CoRR, 2023)

A quantum central path algorithm for linear optimization. - Brandon Augustino; Jiaqi Leng; Giacomo Nannicini; Tamás Terlaky; Xiaodi Wu 001 (CoRR, 2023)

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. - Manuel Barbosa; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu-Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu 001 (IACR Cryptol. ePrint Arch., 2023)

A Verified Optimizer for Quantum Circuits. - Kesha Hietala; Robert Rand 001; Liyi Li 002; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (ACM Trans. Program. Lang. Syst., 2023)

Qafny: A Quantum-Program Verifier. - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (ECOOP, 2024)

Efficient Routing on Quantum Networks Using Adaptive Clustering. - Connor Clayton; Xiaodi Wu 001; Bobby Bhattacharjee (ICNP, 2024)

Differentiable Quantum Computing for Large-scale Linear Control. - Connor Clayton; Jiaqi Leng; Gengzhi Yang; Yi-Ling Qiao; Ming C. Lin; Xiaodi Wu 001 (NeurIPS, 2024)

Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding. - Jiaqi Leng; Joseph Li; Yuxiang Peng; Xiaodi Wu 001 (CoRR, 2024)

The Quantum Abstract Machine. - Liyi Li 002; Le Chang; Rance Cleaveland; Mingwei Zhu; Xiaodi Wu 001 (CoRR, 2024)

On the Computational Complexity of Schrödinger Operators. - Yufan Zheng; Jiaqi Leng; Yizhou Liu 001; Xiaodi Wu 001 (CoRR, 2024)

Qafny: A Quantum-Program Verifier (Artifact). - Liyi Li 002; Mingwei Zhu; Rance Cleaveland; Alexander Nicolellis; Yi Lee; Le Chang; Xiaodi Wu 001 (Dagstuhl Artifacts Ser., 2024)

Quantum-centric supercomputing for materials science: A perspective on challenges and future directions. - Yuri Alexeev; Maximilian Amsler; Marco Antonio Barroca; Sanzio Bassini; Torey Battelle; Daan Camps; David Casanova; Young Jay Choi; Frederic T. Chong; Charles Chung; Christopher Codella; Antonio D. Córcoles; et al. (Future Gener. Comput. Syst., 2024)

A Case for Synthesis of Recursive Quantum Unitary Programs. - Haowei Deng; Runzhou Tao; Yuxiang Peng; Xiaodi Wu 001 (Proc. ACM Program. Lang., 2024)

SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation. - Yuxiang Peng; Jacob Young; Pengyu Liu; Xiaodi Wu 001 (Proc. ACM Program. Lang., 2024)

Differentiable Quantum Programming with Unbounded Loops. - Wang Fang 001; Mingsheng Ying; Xiaodi Wu 001 (ACM Trans. Softw. Eng. Methodol., 2024)

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent. - Samuel Kushnir; Jiaqi Leng; Yuxiang Peng; Lei Fan 006; Xiaodi Wu 001 (INFORMS J. Comput., 2025)

(Sub)Exponential Quantum Speedup for Optimization. - Jiaqi Leng; Kewen Wu 001; Xiaodi Wu 001; Yufan Zheng (CoRR, 2025)

RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V. - Junyi Liu; Yi Lee; Haowei Deng; Connor Clayton; Gengzhi Yang; Xiaodi Wu 001 (CoRR, 2025)