[CV] [Research statement]
I am a 6th year graduate student, in the department of Physics, at the University of Chicago. I am in the quantum architecture group, under the supervision of Professor Fred Chong. My interests lie in:
- Quantum compilation optimization for near-term quantum devices.
- Alternative qubit architectures.
- Program verification for quantum computing.
In year 2018-2019, I was the QISE-NET fellow at IBM Yorktown Heights. I collaborated with Andrew W. Cross, Christopher Chamberland in the theory group on bosonic qubit architectures and Ali Javadi-Abhari in the Qiskit team on quantum compilation optimization and quantum verification.
I also contributed to ScaffCC, an industrial level quantum compiler developed in Chong lab. I designed and implemented the circuit optimization pass in ScaffCC and wrote the QAOA (Quantum Approximate Optimization Algorithm) library. I designed a new compiler backend that directly compiles circuits to continuous control pulses, which improves quantum circuit latency by 10X on average.
In summer 2017, I was the WJ Cody fellow in Argonne National Laborotary, collaborating with Paul Hovland in the PROVESA project. I used formal verification and model checking to faciliate the safe migration of large numerical softwares to new super computing architectures.
Papers and munuscripts
Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
Yunong Shi, Nelson Leung, Pranav Gokhale, Zane Rossi, David I. Schuster, Henry Hoffman, and Frederic T. Chong.
International Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS). April 2019. Providence, RI.
Fault tolerant preparation of approximate GKP states
Yunong Shi, Christopher Chamberland, Andrew W. Cross.
New Journal of Physics. September 2019.
Contract-based Verification of a Realistic Quantum Compiler.
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Fred T. Chong, Ronghui Gu
Resource-efficient quantum computing by breaking abstractions.
Yunong Shi, Pranav Gokhale, Prakash Murali, Jonathan M. Baker, Casey Duckering, Yongshan Ding, Natalie C. Brown, Christopher Chamberland, Ali Javadi Abhari, Andrew W. Cross, David I. Schuster, Kenneth R. Brown, Margaret R. Martonosi, and Frederic T. Chong. PIEEE Special Issue, Jan 2020.
Bounding errors in quantum programs via tensor network
Yunong Shi, Runzhou Tao, Xupeng Li, Jerry Lin, Frederic T. Chong, and Ronghui Gu. (In submission)
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines
Pranav Gokhale, Yongshan Ding, Thomas Propson, Christopher Winkler, Nelson Leung, Yunong Shi, David I Schuster, Henry Hoffmann, Frederic T Chong
International Symposium on Microarchitecture (MICRO). October, 2019. Columbus, OH.
- Term Grouping and Travelling Salesperson for Digital Quantum Simulation.
Kaiwen Gui, Teague Tomesh, Pranav Gokhale, Yunong Shi, Frederic T Chong, Margaret Martonosi, Martin Suchara. (In submission)
- ILP-Based Scheduling for Linear-Tape Model Trapped-Ion Quantum Computers
Xin-Chuan Wu, Yongshan Ding, Yunong Shi, Yuri Alexeev, Hal Finkel, Kibaek Kim, Frederic T Chong. (In submission)