Xiaodi Wu

92 papers A* 13A 5B 1Misc 1Journal 68Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Scalable Open-Source QEC System with Sub-Microsecond Decoding-Feedback Latency.
CoRR
Junyi Liu, Yi Lee, Yilun Xu, Gang Huang, Xiaodi Wu
2026 J jnl
Towards End-to-End Quantum Estimation of Non-Hermitian Pseudospectra.
CoRR
Gengzhi Yang, Jiaqi Leng, Xiaodi Wu, Lin Lin
2025 J jnl
(Sub)Exponential Quantum Speedup for Optimization.
CoRR
Jiaqi Leng, Kewen Wu, Xiaodi Wu, Yufan Zheng
2025 J jnl
Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding.
Quantum
Jiaqi Leng, Joseph Li, Yuxiang Peng, Xiaodi Wu
2025 J jnl
QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent.
INFORMS J. Comput.
Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu
2025 J jnl
RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V.
CoRR
Junyi Liu, Yi Lee, Haowei Deng, Connor Clayton, Gengzhi Yang, Xiaodi Wu
2024 J jnl
A Case for Synthesis of Recursive Quantum Unitary Programs.
Proc. ACM Program. Lang.
Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu
2024 A* conf
Differentiable Quantum Computing for Large-scale Linear Control.
NeurIPS
Connor Clayton, Jiaqi Leng, Gengzhi Yang, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu
2024 J jnl
Differentiable Quantum Computing for Large-scale Linear Control.
CoRR
Connor Clayton, Jiaqi Leng, Gengzhi Yang, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu
2024 J jnl
Differentiable Quantum Programming with Unbounded Loops.
ACM Trans. Softw. Eng. Methodol.
Wang Fang, Mingsheng Ying, Xiaodi Wu
2024 B conf
Efficient Routing on Quantum Networks Using Adaptive Clustering.
ICNP
Connor Clayton, Xiaodi Wu, Bobby Bhattacharjee
2024 J jnl
Efficient Routing on Quantum Networks using Adaptive Clustering.
CoRR
Connor Clayton, Xiaodi Wu, Bobby Bhattacharjee
2024 J jnl
Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding.
CoRR
Jiaqi Leng, Joseph Li, Yuxiang Peng, Xiaodi Wu
2024 J jnl
On the Computational Complexity of Schrödinger Operators.
CoRR
Yufan Zheng, Jiaqi Leng, Yizhou Liu, Xiaodi Wu
2024 J jnl
QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent.
CoRR
Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu
2024 J jnl
Qafny: A Quantum-Program Verifier (Artifact).
Dagstuhl Artifacts Ser.
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2024 A conf
Qafny: A Quantum-Program Verifier.
ECOOP
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2024 J jnl
Quantum-centric supercomputing for materials science: A perspective on challenges and future directions.
Future Gener. Comput. Syst.
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, James Cruise, Alberto Di Meglio, Ivan Duran, Thomas Eckl, Sophia E. Economou, Stephan J. Eidenbenz, Bruce Elmegreen, Clyde Fare, Ismael Faro, Cristina Sanz Fernández, Rodrigo Neumann Barros Ferreira, Keisuke Fuji, Bryce Fuller, Laura Gagliardi, Giulia Galli, Jennifer R. Glick, Isacco Gobbi, Pranav Gokhale, Salvador de la Puente Gonzalez, Johannes Greiner, Bill Gropp, Michele Grossi, Emanuel Gull, Burns Healy, Matthew R. Hermes, Benchen Huang, Travis S. Humble, Nobuyasu Ito, Artur F. Izmaylov, Ali Javadi-Abhari, Douglas M. Jennewein, Shantenu Jha, Liang Jiang, Barbara Jones, Wibe Albert de Jong, Petar Jurcevic, William M. Kirby, Stefan Kister, Masahiro Kitagawa, Joel Klassen, Katherine Klymko, Kwangwon Koh, Masaaki Kondo, Doga Murat Kürkçüoglu, Krzysztof Kurowski, Teodoro Laino, Ryan Landfield, Matthew L. Leininger, Vicente Leyton-Ortega, Ang Li, Meifeng Lin, Junyu Liu, Nicolás Lorente, André Luckow, Simon Martiel, Francisco Martín-Fernández, Margaret Martonosi, Claire Marvinney, Arcesio Castañeda Medina, Dirk Merten, Antonio Mezzacapo, Kristel Michielsen, Abhishek Mitra, Tushar Mittal, Kyungsun Moon, Joel Moore, Sarah Mostame, Mario Motta, Young-Hye Na, Yunseong Nam, Prineha Narang, Yu-ya Ohnishi, Daniele Ottaviani, Matthew Otten, Scott Pakin, Vincent R. Pascuzzi, Edwin Pednault, Tomasz Piontek, Jed Pitera, Patrick Rall, Gokul Subramanian Ravi, Niall Robertson, Matteo A. C. Rossi, Piotr Rydlichowski, Hoon Ryu, Georgy Samsonidze, Mitsuhisa Sato, Nishant Saurabh, Vidushi Sharma, Kunal Sharma, Soyoung Shin, George Slessman, Mathias Steiner, Iskandar Sitdikov, In-Saeng Suh, Eric D. Switzer, Wei Tang, Joel Thompson, Synge Todo, Minh C. Tran, Dimitar Trenev, Christian Trott, Huan-Hsin Tseng, Norm M. Tubman, Esin Tureci, David García Valiñas, Sofia Vallecorsa, Christopher Wever, Konrad Wojciechowski, Xiaodi Wu, Shinjae Yoo, Nobuyuki Yoshioka, Victor Wen-zhe Yu, Seiji Yunoki, Sergiy Zhuk, Dmitry Zubarev
2024 J jnl
SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation.
Proc. ACM Program. Lang.
Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu
2024 J jnl
The Quantum Abstract Machine.
CoRR
Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu
2023 J jnl
A Case for Synthesis of Recursive Quantum Unitary Programs.
CoRR
Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu
2023 J jnl
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst.
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2023 J jnl
A quantum central path algorithm for linear optimization.
CoRR
Brandon Augustino, Jiaqi Leng, Giacomo Nannicini, Tamás Terlaky, Xiaodi Wu
2023 J jnl
A quantum-classical performance separation in nonconvex optimization.
CoRR
Jiaqi Leng, Yufan Zheng, Xiaodi Wu
2023 A* conf
Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels.
ICML
Xuchen You, Shouvanik Chakrabarti, Boyang Chen, Xiaodi Wu
2023 J jnl
Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels.
CoRR
Xuchen You, Shouvanik Chakrabarti, Boyang Chen, Xiaodi Wu
2023 J jnl
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC).
ACM Trans. Quantum Comput.
Haowei Deng, Yuxiang Peng, Michael Hicks, Xiaodi Wu
2023 Misc conf
Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies.
ICASSP
Yingkang Cao, Xiaodi Wu
2023 — conf
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
CRYPTO (5)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2023 J jnl
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2023 J jnl
Quantum Algorithm for Estimating Volumes of Convex Bodies.
ACM Trans. Quantum Comput.
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu
2023 J jnl
Quantum Hamiltonian Descent.
CoRR
Jiaqi Leng, Ethan Hickman, Joseph Li, Xiaodi Wu
2023 J jnl
SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation.
CoRR
Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu
2022 J jnl
A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers.
CoRR
Xuchen You, Shouvanik Chakrabarti, Xiaodi Wu
2022 J jnl
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.
CoRR
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
2022 A* conf
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.
PLDI
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
2022 — conf
Constant-Round Blind Classical Verification of Quantum Sampling.
EUROCRYPT (3)
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2022 A* conf
Differentiable Analog Quantum Computing for Optimization and Control.
NeurIPS
Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu
2022 J jnl
Differentiable Analog Quantum Computing for Optimization and Control.
CoRR
Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu
2022 J jnl
Differentiable Quantum Programming with Unbounded Loops.
CoRR
Wang Fang, Mingsheng Ying, Xiaodi Wu
2022 J jnl
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.
CoRR
Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu
2022 J jnl
Verified compilation of Quantum oracles.
Proc. ACM Program. Lang.
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2021 J jnl
A verified optimizer for Quantum circuits.
Proc. ACM Program. Lang.
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2021 J jnl
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra.
CoRR
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
2021 A* conf
EasyPQC: Verifying Post-Quantum Cryptography.
CCS
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 J jnl
EasyPQC: Verifying Post-Quantum Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 A* conf
Exponentially Many Local Minima in Quantum Neural Networks.
ICML
Xuchen You, Xiaodi Wu
2021 J jnl
Exponentially Many Local Minima in Quantum Neural Networks.
CoRR
Xuchen You, Xiaodi Wu
2021 A conf
ICCAD Special Session Paper: Quantum Variational Methods for Quantum Applications.
ICCAD
Shouvanik Chakrabarti, Xuchen You, Xiaodi Wu
2021 J jnl
Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing.
ACM Trans. Quantum Comput.
Xiaodi Wu
2021 A* conf
Sublinear Classical and Quantum Algorithms for General Matrix Games.
AAAI
Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu
2021 J jnl
Verified Compilation of Quantum Oracles.
CoRR
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2020 J jnl
Constant-round Blind Classical Verification of Quantum Sampling.
CoRR
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2020 J jnl
On the Principles of Differentiable Quantum Programming Languages.
CoRR
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
2020 A* conf
On the principles of differentiable quantum programming languages.
PLDI
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
2020 J jnl
Quantum algorithms and lower bounds for convex optimization.
Quantum
Shouvanik Chakrabarti, Andrew M. Childs, Tongyang Li, Xiaodi Wu
2020 J jnl
Sublinear classical and quantum algorithms for general matrix games.
CoRR
Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu
2019 J jnl
A Verified Optimizer for Quantum Circuits.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2019 J jnl
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang.
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2019 J jnl
Quantum Query Complexity of Entropy Estimation.
IEEE Trans. Inf. Theory
Tongyang Li, Xiaodi Wu
2019 A* conf
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning.
ICALP
Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu
2019 A* conf
Quantum Wasserstein Generative Adversarial Networks.
NeurIPS
Shouvanik Chakrabarti, Yiming Huang, Tongyang Li, Soheil Feizi, Xiaodi Wu
2019 J jnl
Quantum Wasserstein Generative Adversarial Networks.
CoRR
Shouvanik Chakrabarti, Yiming Huang, Tongyang Li, Soheil Feizi, Xiaodi Wu
2019 J jnl
Quantum algorithm for estimating volumes of convex bodies.
CoRR
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu
2019 A* conf
Sublinear quantum algorithms for training linear and kernel-based classifiers.
ICML
Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu
2019 J jnl
Sublinear quantum algorithms for training linear and kernel-based classifiers.
CoRR
Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu
2019 J jnl
Verified Optimization in a Quantum Intermediate Representation.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2018 J jnl
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2018 J jnl
Quantum algorithms and lower bounds for convex optimization.
CoRR
Shouvanik Chakrabarti, Andrew M. Childs, Tongyang Li, Xiaodi Wu
2017 J jnl
Computational Notions of Quantum Min-Entropy.
CoRR
Yi-Hsiu Chen, Kai-Min Chung, Ching-Yi Lai, Salil P. Vadhan, Xiaodi Wu
2017 J jnl
Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning.
CoRR
Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu
2017 A* conf
Invariants of quantum programs: characterisations and generation.
POPL
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
2017 J jnl
Quantum query complexity of entropy estimation.
CoRR
Tongyang Li, Xiaodi Wu
2017 J jnl
Raz-McKenzie simulation with the inner product gadget.
Electron. Colloquium Comput. Complex.
Xiaodi Wu, Penghui Yao, Henry S. Yuen
2017 J jnl
Sample-Optimal Tomography of Quantum States.
IEEE Trans. Inf. Theory
Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
2016 J jnl
Limitations of semidefinite programs for separable states and entangled games.
CoRR
Aram W. Harrow, Anand Natarajan, Xiaodi Wu
2016 A* conf
Sample-optimal tomography of quantum states.
STOC
Jeongwan Haah, Aram W. Harrow, Zheng-Feng Ji, Xiaodi Wu, Nengkun Yu
2016 A conf
Tight SoS-Degree Bounds for Approximate Nash Equilibria.
CCC
Aram W. Harrow, Anand Natarajan, Xiaodi Wu
2015 J jnl
An improved semidefinite programming hierarchy for testing entanglement.
CoRR
Aram W. Harrow, Anand Natarajan, Xiaodi Wu
2015 J jnl
Epsilon-net method for optimizations over separable states.
Theor. Comput. Sci.
Yaoyun Shi, Xiaodi Wu
2015 A conf
Parallel Repetition for Entangled k-player Games via Fast Quantum Search.
CCC
Kai-Min Chung, Xiaodi Wu, Henry S. Yuen
2015 J jnl
Parallel repetition for entangled k-player games via fast quantum search.
CoRR
Xiaodi Wu, Kai-Min Chung, Henry S. Yuen
2015 J jnl
Sample-optimal tomography of quantum states.
CoRR
Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
2014 J jnl
Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.
CoRR
Kai-Min Chung, Xin Li, Xiaodi Wu
2014 J jnl
Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.
Electron. Colloquium Comput. Complex.
Kai-Min Chung, Xin Li, Xiaodi Wu
2013 J jnl
Parallel Approximation of Min-Max Problems.
Comput. Complex.
Gus Gutoski, Xiaodi Wu
2013 — —
Space-efficient Simulations of Quantum Interactive Proofs.
Xiaodi Wu
2012 — conf
Epsilon-Net Method for Optimizations over Separable States.
ICALP (1)
Yaoyun Shi, Xiaodi Wu
2012 A conf
Parallel Approximation of Min-max Problems with Applications to Classical and Quantum Zero-Sum Games.
CCC
Gus Gutoski, Xiaodi Wu
2010 J jnl
Equilibrium Value Method for the Proof of QIP=PSPACE
CoRR
Xiaodi Wu
2010 J jnl
Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory
CoRR
Xiaodi Wu
2010 J jnl
Short quantum games characterize PSPACE
CoRR
Gus Gutoski, Xiaodi Wu