ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
Thu 21 May 2026 16:05 - 16:20 at Room 103 - Quantum Computing Verification & AI Selection Chair(s): Ajay Kumar

Contemporary quantum computers are noisy. For the correct operation of quantum software, it is essential to have an accurate and practical system that captures the actual noise behaviour. This is a significant Quantum Software Engineering (QSE) challenge as simulator noise models and manufacturers’ reported noise data are often inaccurate and out of sync with current hardware behaviour. Providing a practical solution is difficult because traditional noise reconstruction scales exponentially in the number of qubits and is likely to be outdated by the time it is obtained.

In this vision paper, we outline a novel pipeline to address the challenge by adapting classical shadow tomography from quantum mechanics. Our pipeline, called SHADOWP, enables empirical noise fingerprinting, avoiding the exponential number of measurements and allowing for a continuously updatable noise fingerprint in the software development pipeline, e.g. in a simulation environment. As a proof of concept, we implement the pipeline and report initial evaluation on two frameworks, Qiskit and Cirq, under two widely used hardware-informed profiles, IBM Boston and Quantinuum H2. Our results show fingerprints exhibit channel-specific structure, produce interpretable heatmaps, and reveal systematic cross-platform discrepancies under matched noise configurations, quantified by large Frobenius distances at a fraction of full tomography cost; on 69 MQTBench programs, larger fingerprint deltas correlate with cross-configuration output distributions divergence, signalling portability risk.

Thu 21 May

Displayed time zone: Seoul change

15:00 - 16:30
Quantum Computing Verification & AI SelectionResearch Papers / Short Papers, Vision and Emerging Results at Room 103
Chair(s): Ajay Kumar Thapar Institute of Engineering and Technology
15:00
25m
Talk
An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimization via Quantum Approximate Optimization AlgorithmArtifact ReviewedArtifact Available
Research Papers
Lakksh Sharma Thapar Institute of Engineering and Technology, Krish Sharma Thapar Institute of Engineering and Technology, Ajay Kumar Thapar Institute of Engineering and Technology
15:25
25m
Talk
XPJudge: Explanation-Aware Pairwise Judging for Cost-Effective Code LLM Selection
Research Papers
Yasmine Ben Braiek Polytechnique Montreal, Houssem Ben Braiek Polytechnique Montreal, Foutse Khomh Polytechnique Montréal
15:50
15m
Talk
Quantum Circuit Repair by Gate Prioritisation
Short Papers, Vision and Emerging Results
Eñaut Mendiluze Usandizaga Simula Research Laboratory, Norway, Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
16:05
15m
Talk
Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis
Short Papers, Vision and Emerging Results
Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Karine Even-Mendoza King’s College London, Sophie Fortz Inria, Univ Rennes, CNRS, IRISA, Vasileios Klimis Queen Mary University of London, Mohammad Reza Mousavi King's College London
Pre-print