Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Jianjun Zhao · 2023
Software correctness and reliability have been central issues in classical computing for decades. Researchers have developed a wide range of approaches to these problems, but few have been to date for quantum computing. In this talk, I consider two different static analysis approaches to solving quantum software correctness and reliability problems: pattern-based bug detection and entanglement analysis. I will overview how these approaches work and conclude by discussing the challenges they face moving forward.