Article-Journal

Model Checking for Probabilistic Multiagent Systems
In multiagent systems, agents usually do not have complete information of the whole system, which makes the analysis of such systems …
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Li-Jun Zhang
引用 DOI URL
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
引用 DOI URL
Two Views of Constrained Differential Privacy: Belief Revision and Update
Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng
引用 DOI URL
Compiling arbitrary single-qubit gates via the phase shifts of microwave pulses
Jianxin Chen, Dawei Ding, Cupjin Huang, Qi Ye
引用 DOI URL
Quantum Instruction Set Design for Performance
A quantum instruction set is where quantum hardware and software meet. We develop new characterization and compilation techniques for …
Cupjin Huang , Tenghui Wang , Feng Wu, Dawei Ding, Qi Ye, Linghang Kong, Fang Zhang, Xiaotong Ni, Zhijun Song, Yaoyun Shi, Huihai Zhao, Chunqing Deng, Jianxin Chen
引用 DOI URL
Quantum Instruction Set Design for Performance
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of …
Yuan Feng, Sanjiang Li
引用 DOI URL
CoqQ: Foundational Verification of Quantum Programs
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum …
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
引用 DOI URL
isQ: An Integrated Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
引用 DOI
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
引用 DOI
Software Pipelining for Quantum Loop Programs
引用 DOI