PLDI 2024 (series) / WQS 2024 (series) / Workshop on Quantum Software 2024 /
Verifying Quantum Circuits in GAP
Mon 24 Jun 2024 15:00 - 15:20 at Copenhagen - Session 3
This paper reports on an ongoing effort to verify the equivalence of quantum gate decompositions using the GAP programming language. To this end, we have implemented Quantum GAP, a GAP library which allows for quantum circuits to be easily specified in GAP. Using Quantum GAP, we have verified 30 from prior research on quantum circuit design and optimization. We discuss in detail how ancilla management is verified, and how rotational gates are validated.
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
13:40 - 15:20 | |||
13:40 40mKeynote | Quantum program analysis: Verification and TestingREMOTE WQS Nengkun Yu Stony Brook University, USA | ||
14:20 20mTalk | A Static Analysis for High-Level Quantum Programming Languages WQS Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy | ||
14:40 20mTalk | Efficient Formal Verification of Quantum Error Correcting ProgramsREMOTE WQS Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University | ||
15:00 20mTalk | Verifying Quantum Circuits in GAP WQS Scott Wesley University of Waterloo, Canada | ||