Surface Code Synthesizer

Surface code is a promising quantum error correction protocol. However, it requires 2D grid physical qubit coupling which may not be available on superconducting quantum processors due to fabrication difficulties. We propose the first automatic synthesis framework, called Surf-Stitch, for implementing the surface code on mainstream quantum superconducting devices. The automatically synthesized surface code is as good as state-of-the-art manually designed QEC codes.

Reference Work

  • A Synthesis Framework for Stitching Surface Code with Superconducting Quantum Devices, ISCA’22 [paper]

Stabilizer Quantum Code Verification

The correct implementation of quantum error correction protocol is crucial to the fault-tolerance of large-scale quantm computers. But verification in the quantum domain is inherently hard as classical simulation of quantum systems is not scalable in general. We propose the first formal verification framework for QEC programs based on stabilizer formalism. Our proposed quantum Hoare logic is computationally efficient upon the notation of stabilizers and is used to demonstrate the correctness of the repetition code and the surface code.

Reference Work

  • QECV: Quantum Error Correction Verification, IN SUBMISSION [paper]