ISMM 2021
Tue 22 Jun 2021
PLDI
co-located with
PLDI 2021
Toggle navigation
Attending
Venue: Online
PLDI 2021
Registration
Code of Conduct
Sponsorship
Program
ISMM Program
Your Program
Tue 22 Jun
Track/Call
Organization
ISMM 2021 Committees
Track Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2021
(
series
) /
ISMM 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
Thu 21 Nov 12:14