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.

Short 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.