@inproceedings{22c140c344464b17bf9835cba4996383,
title = "Validating Quantum State Preparation Programs",
abstract = "One of the key steps in quantum algorithms is to prepare an initial quantum superposition state with distinct features. These state preparation algorithms are essential to the behavior of quantum algorithms, and complicated state preparation algorithms are difficult to program correctly and effectively. We present QSV: a high-assurance framework implemented with the Rocq proof assistant, permitting the development of quantum state preparation programs and validating them to correctly reflect quantum program behaviors. The key is to reduce the program correctness assurance for a program containing a quantum superposition state to that of the program state without superposition. The reduction enables the development of an effective framework for validating quantum state preparation algorithm implementations on a classical computer — a problem considered hard and without a clear solution until now. We utilize the QuickChick property-based testing framework to validate state preparation programs. We evaluated the effectiveness of our approach across 5 case studies implemented using QSV; these cases are not simulatable on current quantum simulators.",
keywords = "Property-based Testing, Quantum Computing",
author = "Liyi Li and Anshu Sharma and Tagba, \{Zoukarneini Difaizi\} and Sean Frett and Alex Potanin",
note = "Publisher Copyright: {\textcopyright} The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.; 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026 ; Conference date: 11-04-2026 Through 16-04-2026",
year = "2026",
doi = "10.1007/978-3-032-22720-1\_16",
language = "English",
isbn = "9783032227195",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science+Business Media B.V.",
pages = "432--462",
editor = "Robbert Krebbers",
booktitle = "Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings",
address = "Netherlands",
}