Program Equivalence Checking for the Facilitation of Quantum Offloading

Show simple item record

dc.contributor University of Helsinki, Department of Computer Science en
dc.contributor.author Nurminen, Jukka K
dc.contributor.author Speer, Jon
dc.date.accessioned 2021-09-07T10:46:01Z
dc.date.available 2021-09-07T10:46:01Z
dc.date.issued 2021
dc.identifier.citation Nurminen , J K & Speer , J 2021 , Program Equivalence Checking for the Facilitation of Quantum Offloading . in 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC) . IEEE , pp. 1464-1470 , Annual Computing and Communication Workshop and Conference , 27/01/2021 . https://doi.org/10.1109/CCWC51732.2021.9375948 en
dc.identifier.citation conference en
dc.identifier.isbn 978-1-6654-1490-6
dc.identifier.other PURE: 159680539
dc.identifier.other PURE UUID: 562483a2-52d8-4ca6-b086-aacf20e394b3
dc.identifier.other WOS: 000668575500236
dc.identifier.other ORCID: /0000-0001-5083-1927/work/99272900
dc.identifier.uri http://hdl.handle.net/10138/334044
dc.description.abstract Computational offloading involves the transfer of computational tasks to a separate device. We apply this concept to quantum computing, whereby particular algorithms (i.e. "quantum algorithms") are automatically recognized and executed on a quantum computer. We propose a method that utilizes program equivalence checking to discern between code suited for execution on a conventional computer and a quantum computer. This process involves comparing a quantum algorithm's implementation with code written by a programmer, with semantic equivalence between the two implying that the programmer's code should be executed on a quantum computer instead of a conventional computer. Using a novel compiler optimization verification tool named CORK, we test for semantic equivalence between a portion of Shor's algorithm (the "prototype") and various modified versions of this code (representing the arbitrary code written by a programmer). Some of the modified versions are intended to be semantically equivalent to the prototype while others semantically inequivalent. Our approach is able to correctly determine semantic equivalence or semantic inequivalence in a majority of cases. en
dc.format.extent 7
dc.language.iso eng
dc.publisher IEEE
dc.relation.ispartof 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)
dc.rights en
dc.subject 113 Computer and information sciences en
dc.subject Program Equivalence Checking en
dc.subject Quantum Computing en
dc.subject Quantum Offloading en
dc.subject Shor's Algorithm en
dc.title Program Equivalence Checking for the Facilitation of Quantum Offloading en
dc.type Conference contribution
dc.identifier.doi https://doi.org/10.1109/CCWC51732.2021.9375948
dc.type.uri info:eu-repo/semantics/other
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
Jon_Speer_Quantum_Offloading.pdf 386.8Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record