Abstract: The software system is one essential and critical component in a quantum computing system. However, existing quantum software infrastructures are mainly designed for small-scale quantum computers while they cannot effectively accommodate large-scale quantum computing systems. In this talk, I will first summarize the challenges in designing quantum software systems as the sizes of quantum computer systems continue to grow. Then I will show how we can overcome this grand scalability challenge by leveraging the power of high-level operators in various important tasks, including quantum compiler optimization, quantum program testing, and so on. In the end, I will briefly introduce my work on quantum software-hardware co-design and conclude my talk with future research opportunities.
Bio: Mr. Gushu Li is a Ph.D. candidate at the University of California, Santa Barbara, advised by Prof. Yuan Xie and Prof. Yufei Ding. His research features the emerging quantum computer system and spans mainly across the quantum programming language, quantum compiler, and quantum computer architecture. His research has been recognized by the ACM SIGPLAN Distinguished Paper Award at OOPSLA 2020 and an NSF Quantum Information Science and Engineering Network Fellow Grant Award. His research outputs have been adopted by several industry/academia quantum software frameworks, including IBM’s Qiskit, Amazon’s Braket, Cambridge Quantum Computing’s t|ket>, and Oak Ridge National Lab’s qcor.