Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021
PLDI
Toggle navigation
Attending
Venue: Online
Registration
Code of Conduct
Sponsorship
Program
Complete Program
Your Program
Filter by Day
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Wed 23 Jun
Thu 24 Jun
Fri 25 Jun
Sat 26 Jun
Tracks
PLDI 2021
Ask Me Anything
CARES
PLDI
Invited Talks
Research Artifacts
Tutorials
- Beyond Weak Memory Consistency: The Challenges of Memory Persistency
- IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
- Implementing smart contract security analyses using the MadMax/Gigahorse framework
Workshops and Tutorials
Social
SRC
Student Volunteering
Sponsors
Co-hosted Conferences
HOPL IV
HOPL IV
HOPL IV
Papers
ISMM
LCTES
Workshops
ARRAY
Infer Practitioners
MAPS
PLMW@PLDI
PLanQC
SOAP
Organization
PLDI 2021 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
PLDI
Research Artifacts
SRC
Student Volunteering
Contributors
People Index
Co-hosted Conferences
HOPL IV
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
Infer Practitioners
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
PLanQC
Organizing Committee
Program Committee
SOAP
Invited Speakers
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2021
(
series
) /
Online
/
Room information: PLanQC
Venue
Online
Room name
PLanQC
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:45
Session 1: Verification, programming & control
PLanQC
at
PLanQC
Chair(s):
Matthew Amy
Dalhousie University
,
Ross Duncan
Cambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I:
Michael Hicks
University of Maryland at College Park
File Attached
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De Santis
University of Verona
,
Roberto Giacobazzi
University of Verona
,
Margherita Zorzi
University of Verona
File Attached
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille Robert
Johannes Kepler University, Linz
,
Stefan Hillmich
Johannes Kepler University, Linz
,
Lukas Burgholzer
Johannes Kepler University, Linz
File Attached
10:15
30m
Coffee break
Break
PLanQC
10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew Cross
IBM T.J Watson Research Center
,
Ali Javadi-Abhari
IBM T.J Watson Research Center
,
Thomas Alexander
IBM T.J Watson Research Center
,
Lev Bishop
IBM T.J Watson Research Center
,
Colm A. Ryan
AWS Center for Quantum Computing
,
Steven Heidel
AWS Center for Quantum Computing
,
Niel de Beaudrap
University of Sussex
,
John Smolin
IBM T.J Watson Research Center
,
Jay M. Gambetta
IBM T.J Watson Research Center
,
Blake R. Johnson
IBM T.J Watson Research Center
File Attached
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique Unruh
University of Tartu
File Attached
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo Arrighi
Université Paris-Saclay, CNRS, LMF
,
Marin Costes
Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
,
Christopher Cedzich
Quantum Technology Group, Heinrich Heine Universität Düsseldorf
,
Ulysse Remond
Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
,
Benoit Valiron
Université Paris-Saclay, CNRS, CentraleSupélec, LMF
File Attached
13:30 - 16:15
Session 2: Compilation & Types
PLanQC
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
18:00 - 21:00
Session 3: Reliable quantum computing
PLanQC
at
PLanQC
Chair(s):
Robert Rand
University of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I:
Yufei Ding
University of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRose
Unitary Fund, Michigan State University
,
Andrea Mari
Unitary Fund
,
Sarah Kaiser
Unitary Fund
,
Peter J. Karalekas
Unitary Fund
,
Nathan Shammah
Unitary Fund
,
William J. Zeng
Unitary Fund, Goldman Sachs
Pre-print
File Attached
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha Hietala
University of Maryland
,
Liyi Li
University of Maryland
,
Akshaj Gaur
Poolesville High School
,
Aaron Green
University of Maryland
,
Robert Rand
University of Chicago
,
Xiaodi Wu
University of Maryland
,
Michael Hicks
University of Maryland at College Park
File Attached
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
PLanQC
PLanQC
Session 1: Verification, programming & control
PLanQC
Session 2: Compilation & Types
PLanQC
Session 3: Reliable quantum computing
Tue 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
PLanQC
PLanQC
Invited Talk: From Verified Compilation to Shor’s Algorithm
09:00 - 09:35
PLanQC
qKleene: Verification of Quantum RAM Made Easy
09:35 - 09:55
PLanQC
JKQ: JKU Tools for Quantum Computing
09:55 - 10:15
PLanQC
Break
10:15 - 10:45
PLanQC
Open Quantum Assembly Language
10:45 - 11:05
PLanQC
Quantum and classical registers
11:05 - 11:25
PLanQC
Addressable quantum gates
11:25 - 11:45
PLanQC
Invited Talk: Quantum compilation using the ZX-calculus
13:30 - 14:05
PLanQC
Quantum routing with fast reversals
14:05 - 14:25
PLanQC
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
14:25 - 14:45
PLanQC
Break
14:45 - 15:15
PLanQC
Toward A Quantum Programming Language for Higher-Level Formal Verification
15:15 - 15:35
PLanQC
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing t ...
15:35 - 15:55
PLanQC
Extending Gottesman Types Beyond the Clifford Group
15:55 - 16:15
PLanQC
Invited Talk: Theory, Design, and Implementation of Projection-based As ...
18:00 - 18:35
PLanQC
Mitiq: a Python toolkit for quantum error mitigation
18:35 - 18:55
PLanQC
Expanding the VOQC Toolkit
18:55 - 19:15
x
Tue 5 Nov 05:12