Qbricks: formal verification in quantum computing (PLanQC 2020 - Programming Languages for Quantum Computing) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Christopĥe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoit Valiron

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

When

Sun 19 Jan 2020 14:20 - 14:40 at Maurepas - Formal Methods Chair(s): Dominique Unruh

File attachments

Qbricks, a framework for formal verification in quantumcomputing (Qbricks_Planqc.pdf)	233KiB
(PlanQc_CC_Qbricks.pdf)	672KiB

Christopĥe Chareton

CEA, LIST, France

Sébastien Bardin

CEA LIST

France

François Bobot

CEA

Valentin Perrelle

CEA, LIST, France

Benoit Valiron

LRI, CentraleSupelec, Univ. Paris Saclay

France

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Session Program

Sun 19 Jan
Displayed time zone: Saskatchewan, Central America change

	14:00 - 15:05	Formal MethodsPLanQC at Maurepas Chair(s): Dominique Unruh University of Tartu

	14:00 20m Talk		Runtime Analysis of Quantum Programs: A Formal Approach PLanQC Federico Olmedo University of Chile & IMFD Chile, Alejandro Díaz-Caro ICC (UBA-CONICET) & UNQ Pre-print File Attached
	14:20 20m Talk		Qbricks: formal verification in quantum computing PLanQC Christopĥe Chareton CEA, LIST, France, Sébastien Bardin CEA LIST, François Bobot CEA, Valentin Perrelle CEA, LIST, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay File Attached
	14:40 25m Talk		Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages PLanQC Kesha Hietala University of Maryland, Kartik Singhal University of Chicago, Robert Rand University of Maryland, Shih-Han Hung University of Maryland, Xiaodi Wu University of Maryland, College Park, Michael Hicks University of Maryland Media Attached