Design-Time Conformance Checking for Pulse-Level Quantum Control

arXiv:2610.10427 · quant-ph, cs.SE · Submitted 2026-10-07 · Read on arXiv

quant-ph, cs.SE

Submitted: 2026-10-07

Updated: 2026-10-07

Terminology

• International Conference on Quantum Computing and Engineering — 3× in this paper
• Automated Software Engineering — 2× in this paper
• Quantum Circuits — 1× in this paper · explained in 2 episodes
• Quantum Instrumentation Control Kit — 1× in this paper

Sources

• Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments
• Enabling Neutral Atom Integration: Redesigning Device Models for Universal Quantum Ecosystems
• Measuring Control-Plane Openness in Near-Term Quantum Computing: A Rubric, Its Validation, and an Application to Thirteen Vendor Stacks

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity