Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages (PLanQC 2020 - Programming Languages for Quantum Computing)

Write a Blog >>

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

Who

Kesha Hietala, Kartik Singhal, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Track

PLanQC 2020

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

Save

When

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

Abstract

Merger of

A Verified Optimizer for Quantum Circuits

and

Verified translation between low-level quantum languages

Kesha Hietala

University of Maryland

Kartik Singhal

University of Chicago

United States

Robert Rand

University of Maryland

United States

Shih-Han Hung

University of Maryland

Xiaodi Wu

University of Maryland, College Park

United States

Michael Hicks

University of Maryland

United States

Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages

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

Display full programSpecify a time band

Save

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