Toward A Quantum Programming Language for Higher-Level Formal Verification (PLanQC 2021) - PLDI 2021

Write a Blog >>

Sun 20 - Sat 26 June 2021 PLDI

Who

Finn Voichick, Michael Hicks

Track

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

When

Tue 22 Jun 2021 15:15 - 15:35 at PLanQC - Session 2: Compilation & Types Chair(s): Ali Javadi-Abhari, Jennifer Paykin

File attachments

Abstract (planqc2021-final30.pdf)	466KiB

Finn Voichick

University of Maryland

Michael Hicks

University of Maryland at College Park

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

Session Program

Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

	13:30 - 16:15	Session 2: Compilation & TypesPLanQC at PLanQC Chair(s): Ali Javadi-Abhari IBM T.J Watson Research Center, Jennifer Paykin Galois, Inc.

	13:30 35m Talk		Invited Talk: Quantum compilation using the ZX-calculus PLanQC I: John van de Wetering University of Oxford, Radboud Universiteit Nijmegen
	14:05 20m Talk		Quantum routing with fast reversals PLanQC Aniruddha Bapat University of Maryland, Andrew M. Childs University of Maryland, Alexey V. Gorshkov University of Maryland, Sam King University of Rochester, Eddie Schoute University of Maryland, Hrishee Shastri Reed College Pre-print File Attached
	14:25 20m Talk		Reducing the CNOT count for Clifford+T circuits on NISQ architectures PLanQC Vlad Gheorghiu Institute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li , Michele Mosca University of Waterloo, Priyanka Mukhopadhyay Institue for Quantum Computing, University of Waterloo Pre-print File Attached
	14:45 30m Coffee break		Break PLanQC
	15:15 20m Talk		Toward A Quantum Programming Language for Higher-Level Formal Verification PLanQC Finn Voichick University of Maryland, Michael Hicks University of Maryland at College Park File Attached
	15:35 20m Talk		Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem PLanQC Kartik Singhal University of Chicago, Sarah Marshall Microsoft Quantum, Kesha Hietala University of Maryland, Robert Rand University of Chicago Pre-print Media Attached File Attached
	15:55 20m Talk		Extending Gottesman Types Beyond the Clifford Group PLanQC Robert Rand University of Chicago, Aarthi Sundaram Microsoft Quantum, Kartik Singhal University of Chicago, Brad Lackey Microsoft Quantum, University of Maryland File Attached