Xiaodi Wu

According to our database, Xiaodi Wu authored at least 39 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Differentiable Quantum Programming with Unbounded Loops.

Wang Fang, Mingsheng Ying, Xiaodi Wu

ACM Trans. Softw. Eng. Methodol., January, 2024

SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation.

Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu

Proc. ACM Program. Lang., January, 2024

A Case for Synthesis of Recursive Quantum Unitary Programs.

Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu

Proc. ACM Program. Lang., January, 2024

Qafny: A Quantum-Program Verifier (Artifact).

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Dagstuhl Artifacts Ser., 2024

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent.

Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu

CoRR, 2024

The Quantum Abstract Machine.

Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu

CoRR, 2024

Qafny: A Quantum-Program Verifier.

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 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

IACR Cryptol. ePrint Arch., 2023

SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation.

Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu

CoRR, 2023

Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels.

Xuchen You, Shouvanik Chakrabarti, Boyang Chen, Xiaodi Wu

Proceedings of the International Conference on Machine Learning, 2023

Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies.

Yingkang Cao, Xiaodi Wu

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

Verified compilation of Quantum oracles.

Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2022

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.

Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu

CoRR, 2022

A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers.

Xuchen You, Shouvanik Chakrabarti, Xiaodi Wu

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Differentiable Analog Quantum Computing for Optimization and Control.

Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Constant-Round Blind Classical Verification of Quantum Sampling.

Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

A verified optimizer for Quantum circuits.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 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, Li Zhou

IACR Cryptol. ePrint Arch., 2021

Exponentially Many Local Minima in Quantum Neural Networks.

Xuchen You, Xiaodi Wu

Proceedings of the 38th International Conference on Machine Learning, 2021

ICCAD Special Session Paper: Quantum Variational Methods for Quantum Applications.

Shouvanik Chakrabarti, Xuchen You, Xiaodi Wu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Sublinear Classical and Quantum Algorithms for General Matrix Games.

Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Quantum algorithms and lower bounds for convex optimization.

Shouvanik Chakrabarti, Andrew M. Childs, Tongyang Li, Xiaodi Wu

Quantum, 2020

On the principles of differentiable quantum programming languages.

Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Quantum Query Complexity of Entropy Estimation.

Tongyang Li, Xiaodi Wu

IEEE Trans. Inf. Theory, 2019

Quantitative robustness analysis of quantum programs.

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

Proc. ACM Program. Lang., 2019

Quantum algorithm for estimating volumes of convex bodies.

Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu

CoRR, 2019

Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

CoRR, 2019

Quantum Wasserstein Generative Adversarial Networks.

Shouvanik Chakrabarti, Yiming Huang, Tongyang Li, Soheil Feizi, Xiaodi Wu

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Sublinear quantum algorithms for training linear and kernel-based classifiers.

Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the 36th International Conference on Machine Learning, 2019

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

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Quantitative Robustness Analysis of Quantum Programs (Extended Version).

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

CoRR, 2018

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

CoRR, 2017

Computational Notions of Quantum Min-Entropy.

Yi-Hsiu Chen, Kai-Min Chung, Ching-Yi Lai, Salil P. Vadhan, Xiaodi Wu

CoRR, 2017

Invariants of quantum programs: characterisations and generation.

Mingsheng Ying, Shenggang Ying, Xiaodi Wu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

Parallel Repetition for Entangled k-player Games via Fast Quantum Search.

Kai-Min Chung, Xiaodi Wu, Henry S. Yuen

Proceedings of the 30th Conference on Computational Complexity, 2015

2014

Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.

Kai-Min Chung, Xin Li, Xiaodi Wu

Electron. Colloquium Comput. Complex., 2014