Nengkun Yu

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 47

Top Topics

Quantum Computation

Transport Protocol

Convex Optimization

Top Venues

IEEE Trans. Inf. Theory

Proc. ACM Program. Lang.

Publications

Nengkun Yu
Quantum temporal logic and reachability problems of matrix semigroups. Inf. Comput. 300 (2024)
Peng Yan, Hanru Jiang, Nengkun Yu
Approximate Relational Reasoning for Quantum Programs. CAV (3) (2024)
Ao Liu, Lirong Xia, Nengkun Yu
Accelerating Majority Voting by Quantum Computation. CoRR (2023)
Nengkun Yu
Almost Tight Sample Complexity Analysis of Quantum Identity Testing by Pauli Measurements. IEEE Trans. Inf. Theory 69 (8) (2023)
Nengkun Yu
Structured Theorem for Quantum Programs and its Applications. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Ao Liu, Qishen Han, Lirong Xia, Nengkun Yu
Accelerating Voting by Quantum Computation. UAI (2023)
Ji Guan, Nengkun Yu
A Probabilistic Logic for Verifying Continuous-time Markov Chains. TACAS (2) (2022)
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR (2022)
Peng Yan, Hanru Jiang, Nengkun Yu
On incorrectness logic for Quantum programs. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Nengkun Yu
Towards Efficient Reasoning of Quantum Programs. SAS (2022)
Nengkun Yu, Li Zhou
Comments on and Corrections to "When Is the Chernoff Exponent for Quantum Operations Finite?". IEEE Trans. Inf. Theory 68 (6) (2022)
Peng Yan, Nengkun Yu
The QQUIC Transport Protocol: Quantum-Assisted UDP Internet Connections. Entropy 24 (10) (2022)
Hao-Chung Cheng, Andreas J. Winter, Nengkun Yu
Discrimination of quantum states under locality constraints in the many-copy setting. ISIT (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS (2021)
Nengkun Yu, Li Zhou
When is the Chernoff Exponent for Quantum Operations Finite? IEEE Trans. Inf. Theory 67 (7) (2021)
Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
Capacity Approaching Coding for Low Noise Interactive Quantum Communication Part I: Large Alphabets. IEEE Trans. Inf. Theory 67 (8) (2021)
Nengkun Yu
Quantum Max-Flow Min-Cut theorem. CoRR (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR (2021)
Nengkun Yu
Sample Efficient Identity Testing and Independence Testing of Quantum States. ITCS (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CONCUR (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CoRR (2021)
Nengkun Yu, Jens Palsberg
Quantum abstract interpretation. PLDI (2021)
Nengkun Yu
Multipartite Entanglement Certification, With or Without Tomography. IEEE Trans. Inf. Theory 66 (10) (2020)
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
Capacity Approaching Coding for Low Noise Interactive Quantum Communication, Part I: Large Alphabets. CoRR (2020)
Ji Guan, Nengkun Yu
Verification of Continuous-time Markov Chains. CoRR (2020)
Peng Yan, Nengkun Yu
The QQUIC Transport Protocol: Quantum assisted UDP Internet Connections. CoRR (2020)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Strassen's theorem for quantum couplings. Theor. Comput. Sci. 802 (2020)
Youming Qiao, Xiaoming Sun, Nengkun Yu
Local Equivalence of Multipartite Entanglement. IEEE J. Sel. Areas Commun. 38 (3) (2020)
Li Zhou, Nengkun Yu, Mingsheng Ying
An applied quantum Hoare logic. PLDI (2019)
Nengkun Yu
Quantum Temporal Logic. CoRR (2019)
Nengkun Yu, Ching-Yi Lai, Li Zhou
Protocols for Packet Quantum Network Intercommunication. CoRR (2019)
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR (2019)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Coupling Techniques for Reasoning about Quantum Programs. CoRR (2019)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Quantum Coupling and Strassen Theorem. CoRR (2018)
Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
Capacity approaching coding for low noise interactive quantum communication. STOC (2018)
Nengkun Yu, Runyao Duan, Quanhua Xu
Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels. IEEE Trans. Inf. Theory 63 (2) (2017)
Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu
Exponential separation of quantum communication and classical information. STOC (2017)
Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
Sample-Optimal Tomography of Quantum States. IEEE Trans. Inf. Theory 63 (9) (2017)
Shawn X. Cui, Zheng-Feng Ji, Nengkun Yu, Bei Zeng
Quantum capacities for entanglement networks. ISIT (2016)
Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu
Exponential Separation of Quantum Communication and Classical Information. CoRR (2016)
Jeongwan Haah, Aram W. Harrow, Zheng-Feng Ji, Xiaodi Wu, Nengkun Yu
Sample-optimal tomography of quantum states. STOC (2016)
Shawn X. Cui, Zhengfeng Ji, Nengkun Yu, Bei Zeng
Quantum Capacities for Entanglement Networks. CoRR (2016)
Taolue Chen, Nengkun Yu, Tingting Han
Continuous-time orbit problems are decidable in polynomial-time. Inf. Process. Lett. 115 (1) (2015)
Somshubhro Bandyopadhyay, Alessandro Cosentino, Nathaniel Johnston, Vincent Russo, John Watrous, Nengkun Yu
Limitations on Separable Measurements by Convex Optimization. IEEE Trans. Inf. Theory 61 (6) (2015)
Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
Sample-optimal tomography of quantum states. CoRR (2015)
Nengkun Yu, Runyao Duan, Mingsheng Ying
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Trans. Inf. Theory 60 (4) (2014)
Mingsheng Ying, Nengkun Yu, Yuan Feng
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR (2014)
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15 (3) (2014)
Yangjia Li, Nengkun Yu, Mingsheng Ying
Termination of nondeterministic quantum programs. Acta Informatica 51 (1) (2014)
Mingsheng Ying, Yuan Feng, Nengkun Yu
Quantum Information-Flow Security: Noninterference and Access Control. CSF (2013)
Mingsheng Ying, Yuan Feng, Nengkun Yu
Quantum Information-Flow Security: Noninterference and Access Control CoRR (2013)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Reachability Analysis of Recursive Quantum Markov Chains. MFCS (2013)
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
Verification of quantum programs. Sci. Comput. Program. 78 (9) (2013)
Taolue Chen, Xiaoming Sun, Nengkun Yu
Orbit Problem Revisited CoRR (2013)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Model checking quantum Markov chains. J. Comput. Syst. Sci. 79 (7) (2013)
Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
Reachability Probabilities of Quantum Markov Chains. CONCUR (2013)
Youming Qiao, Xiaoming Sun, Nengkun Yu
Determinantal Complexities and Field Extensions. ISAAC (2013)
Nengkun Yu, Mingsheng Ying
Reachability and Termination Analysis of Concurrent Quantum Programs CoRR (2012)
Mingsheng Ying, Nengkun Yu, Yuan Feng
Defining Quantum Control Flow CoRR (2012)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Model checking quantum Markov chains CoRR (2012)
Nengkun Yu, Mingsheng Ying
Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR (2012)
Yangjia Li, Nengkun Yu, Mingsheng Ying
Termination of Nondeterministic Quantum Programs CoRR (2012)
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
Verification of Quantum Programs CoRR (2011)