Xiaodi Wu

最新发表

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

引用 DOI URL

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

引用 DOI URL

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

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. SIGPLAN Not..

引用 DOI URL

Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu (2016). Sample-optimal tomography of quantum states. Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing.

引用 DOI URL

Zhengfeng Ji, Xiaodi Wu (2009). Non-Identity Check Remains QMA-Complete for Short Circuits.

引用 arXiv URL