Program Equivalence Checking for the Facilitation of Quantum Offloading

Visa fullständig post



Permalänk

http://hdl.handle.net/10138/334044

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

Titel: Program Equivalence Checking for the Facilitation of Quantum Offloading
Författare: Nurminen, Jukka K; Speer, Jon
Medarbetare: University of Helsinki, Department of Computer Science
Utgivare: IEEE
Datum: 2021
Språk: eng
Sidantal: 7
Tillhör serie: 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)
ISBN: 978-1-6654-1490-6
Permanenta länken (URI): http://hdl.handle.net/10138/334044
Abstrakt: 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.
Subject: 113 Computer and information sciences
Program Equivalence Checking
Quantum Computing
Quantum Offloading
Shor's Algorithm
Licens:


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
Jon_Speer_Quantum_Offloading.pdf 386.8Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post