Formal Verification of Quantum Stabilizer Code (CoqPL 2025 - The Eleventh International Workshop on Coq for Programming Languages)

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Qiuyi Feng, Udaya Parampalli, Christine Rizkallah

Track

CoqPL 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 25 Jan 2025 17:07 - 17:30 at Room 2 - Session 4 (16:00 - 17:30)

Abstract

This project is aimed at verifying quantum error correction codes. We hope to conduct the verification in Coq, using a general approach based on the stabilizer codes. We hypothesize that by using the formalism of the stabilizer group, the efforts of verification can be reduced.

Qiuyi Feng

Udaya Parampalli

Christine Rizkallah

University of Melbourne

Australia