Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare Logics (PLanQC 2025)

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Olga Becci, Andrea Colledan, Ugo Dal Lago, Leonardo Venturi

Track

PLanQC 2025

File attachments

Extended Abstract (planqc25-paper91.pdf)	425KiB

Olga Becci

University of Bologna

Andrea Colledan

University of Bologna & INRIA Sophia Antipolis

Ugo Dal Lago

University of Bologna & INRIA Sophia Antipolis

Italy

Leonardo Venturi

University of Bologna

This program is tentative and subject to change.

Time Zone

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

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

Save

Session Program

No schedule or scheduled events are not visible yet, check back later

Unscheduled Sessions

no time slot	Poster SessionPLanQC
Not scheduled Poster		AutoQASM: Imperative quantum programming in PythonPoster PLanQC Ryan Shaffer AWS Quantum Technologies, Lauren Capelluto AWS Quantum Technologies, Yi-Ting Chen AWS Quantum Technologies, Aaron Berdy AWS Quantum Technologies, Kshitij Chhabra AWS Quantum Technologies, Jean-Christophe Jaskula AWS Quantum Technologies, Eric Kessler AWS Quantum Technologies, Yunong Shi AWS Quantum Technologies File Attached
Not scheduled Poster		Compiling Qunity: From High-Level Quantum Programs to CircuitsPoster PLanQC Mikhail Mints California Institute of Technology, Finn Voichick University of Maryland, Robert Rand University of Chicago File Attached
Not scheduled Poster		Expressing and Analyzing Quantum Algorithms with QualtranPoster PLanQC Matthew P Harrigan Google Quantum AI File Attached
Not scheduled Poster		Fusion and flow: formal protocols to reliably build photonic graph statesPoster PLanQC Giovanni de Felice Quantinuum, Boldizsár Poór Quantinuum, Lia Yeh University of Oxford, William Cashman University of Oxford File Attached
Not scheduled Poster		Lightweight functional verification of quantum programsPoster PLanQC Kevin Ye Simon Fraser University, Matthew Amy Simon Fraser University File Attached
Not scheduled Poster		Qutes: a Pathway to High-Level Quantum ProgrammingPoster PLanQC Simone Faro University of Catania, Francesco Pio Marino University of Catania, University of Rouen, Gabriele Messina University of Catania File Attached
Not scheduled Poster		Restricted Evolution as a Strategy for Constant Runtime Error MitigationPoster PLanQC Gaurav Saxena LG Electronics Toronto AI Lab, Thi Ha Kyaw LG Electronics Toronto AI Lab File Attached
Not scheduled Poster		Sdim: A Qudit Stabilizer SimulatorPoster PLanQC Adeeb Kabir Rutgers University, Steven Nguyen Rutgers University, Tijil Kiran Rutgers University, Anika Kumar Rutgers University, Yipeng Huang Rutgers University File Attached
Not scheduled Poster		Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare LogicsPoster PLanQC Olga Becci University of Bologna, Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis, Leonardo Venturi University of Bologna File Attached
Not scheduled Poster		The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum ComputationPoster PLanQC Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford File Attached