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

Quantum computing’s transition from theory to reality has spurred the need for novel software tools to manage the increasing complexity, sophistication, toil, and fallibility of quantum algorithm development. We present Qualtran, an open-source library for representing and analyzing quantum algorithms. Using appropriate abstractions and data structures, we can simulate and test algorithms, automatically generate information-rich diagrams, and tabulate resource requirements. Qualtran offers a standard library of algorithmic building blocks that are essential for modern cost-minimizing compilations. Its capabilities are showcased through the re-analysis of key algorithms in Hamiltonian simulation, chemistry, and cryptography. Architecture-independent resource counts output by Qualtran can be forwarded to our implementation of cost models to estimate physical costs like wall-clock time and number of physical qubits assuming a surface-code architecture. Qualtran provides a foundation for explicit constructions and reproducible analysis, fostering greater collaboration within the growing quantum algorithm development community.

This program is tentative and subject to change.

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