System Software and Software Security

After decades of development, quantum computing area has entered the Noisy Intermediate-Scale Quantum (NISQ) era. The characteristics of the quantum computer in the NISQ era are: the number of qubits has exceeded the limitation of classical computer simulation; small and medium-sized algorithms and applications can be realized on various NISQ quantum computers; the NISQ quantum computers are subject to large noise interference while the number of qubits is not enough to implement the error correction mechanism. Therefore quantum programs in the NISQ era must be run in a noisy environment. Our team focuses on the design and implementation of quantum programming languages, the analysis and optimization of quantum programs, and develops corresponding tools. We devote to building a bridge from quantum algorithms to quantum computers, and improving the speed, success rate and operational scale of quantum programs on quantum computers.


Publication

Optimizing Quantum Programs against Decoherence: Delaying Qubits into Quantum Superposition

Yu Zhang*, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie

13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Guilin, China, 29 July - 1 August, 2019.    https://arxiv.org/abs/1904.09041

 

 

CODAR: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices

Haowei Deng, Yu Zhang*, Quanxi Li

57th Design Automation Conference (DAC 2020), San Francisco, CA, USA, July 19-23, 2020.      https://arxiv.org/abs/2002.10915


地址:West Campas, USTC, Hefei, Anhui     电话:0551-63603804         

USTC NetService制作维护