SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Sat 18 Oct 2025 11:45 - 12:00 at Orchid Small - Quantum

Classical simulation of quantum circuits is critical for the development of implementations of quantum algorithms: it does not require access to specialized hardware, facilitates debugging by allowing direct access to the quantum state, and is the only way to test on inputs that are too big for current NISQ computers.

Many quantum algorithms rely on invariants that result in sparsity in the state vector. A sparse state vector simulator only computes with non-zero amplitudes. For important classes of algorithms, this results in an asymptotic improvement in simulation time. While promising prior work has investigated ways to exploit sparsity, the challenge of scaling the sparse simulation via parallelization has remained completely open.

In this work, we address this challenge and present qblaze, a highly optimized sparse state vector simulator based on (i) a compact sorted array representation, and (ii) new, easily parallelizable and highly-scalable algorithms for all quantum operations.

Our extensive experimental evaluation of qblaze shows that it is often orders-of-magnitude more efficient than existing sparse state vector simulators even on a single thread, and scales to a large number of CPU cores. Overall, qblaze enables testing quantum algorithms on input sizes that were previously out of reach.

This program is tentative and subject to change.

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
10:30
15m
Talk
AccelerQ: Accelerating Quantum Eigensolvers With Machine Learning on Quantum Simulators
OOPSLA
Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Karine Even-Mendoza King’s College London, Sophie Fortz King's College London, Connor Lenihan King's College London
10:45
15m
Talk
A Language for Quantifying Quantum Network Behavior
OOPSLA
Anita Buckley USI Lugano, Pavel Chuprikov Télécom Paris, Institut Polytechnique de Paris, Rodrigo Otoni USI Lugano, Robert Soulé Yale University, Robert Rand University of Chicago, Patrick Eugster USI Lugano, Switzerland
11:00
15m
Talk
Compositional Quantum Control Flow with Efficient Compilation in Qunity
OOPSLA
Mikhail Mints California Institute of Technology, Finn Voichick University of Maryland, Leonidas Lampropoulos University of Maryland, College Park, Robert Rand University of Chicago
11:15
15m
Talk
Dependency-Aware Compilation for Surface Code Quantum Architectures
OOPSLA
Abtin Molavi University of Wisconsin-Madison, Amanda Xu University of Wisconsin-Madison, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison
11:30
15m
Talk
QbC: Quantum Correctness by Construction
OOPSLA
Anurudh Peduri Ruhr University Bochum, Ina Schaefer KIT, Michael Walter Ruhr-Universität Bochum
11:45
15m
Talk
qblaze: An Efficient and Scalable Sparse Quantum Simulator
OOPSLA
Hristo Venev INSAIT, Sofia University "St. Kliment Ohridski", Thien Udomsrirungruang University of Oxford, Dimitar Dimitrov INSAIT, Sofia University "St. Kliment Ohridski", Timon Gehr ETH Zurich, Martin Vechev ETH Zurich
12:00
15m
Talk
Shaking Up Quantum Simulators with Fuzzing and Rigour
OOPSLA
Vasileios Klimis Queen Mary University of London, Karine Even-Mendoza King’s College London, Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Sophie Fortz King's College London, Connor Lenihan King's College London