Program Equivalence Checking for the Facilitation of Quantum Offloading

Näytä kaikki kuvailutiedot



Pysyväisosoite

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

Lähdeviite

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

Julkaisun nimi: Program Equivalence Checking for the Facilitation of Quantum Offloading
Tekijä: Nurminen, Jukka K; Speer, Jon
Muu tekijä: University of Helsinki, Department of Computer Science
Julkaisija: IEEE
Päiväys: 2021
Kieli: eng
Sivumäärä: 7
Kuuluu julkaisusarjaan: 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)
ISBN: 978-1-6654-1490-6
URI: http://hdl.handle.net/10138/334044
Tiivistelmä: 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.
Avainsanat: 113 Computer and information sciences
Program Equivalence Checking
Quantum Computing
Quantum Offloading
Shor's Algorithm
Tekijänoikeustiedot:


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
Jon_Speer_Quantum_Offloading.pdf 386.8KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot