TY - GEN
T1 - A Gate-Level Approach to Compiling for Quantum Computers
AU - Dietz, Henry G.
PY - 2018/10
Y1 - 2018/10
N2 - Programming language constructs generally operate on data words, and so does most compiler analysis and transformation. However, individual word-level operations often harbor pointless, yet resource and power hungry, lower-level operations. By transforming complete programs into gate-level operations on individual bits, and optimizing operations at that level, it is possible to dramatically reduce the total amount of work needed to execute the program's algorithm. This gate-level representation can be in terms of any complete set of logic gate types; earlier work targeted conventional multiplexor gates, but the work reported here centers on targeting CSWAP (FredKin) gates without fanout-a form that can be implemented on a quantum computer. This paper will overview the approach, describe the current state of the prototype compiler, and suggest some ways in which compiler automatic parallelization technology might be extended to allow ordinary programs to take advantage of the unique properties of quantum computers.
AB - Programming language constructs generally operate on data words, and so does most compiler analysis and transformation. However, individual word-level operations often harbor pointless, yet resource and power hungry, lower-level operations. By transforming complete programs into gate-level operations on individual bits, and optimizing operations at that level, it is possible to dramatically reduce the total amount of work needed to execute the program's algorithm. This gate-level representation can be in terms of any complete set of logic gate types; earlier work targeted conventional multiplexor gates, but the work reported here centers on targeting CSWAP (FredKin) gates without fanout-a form that can be implemented on a quantum computer. This paper will overview the approach, describe the current state of the prototype compiler, and suggest some ways in which compiler automatic parallelization technology might be extended to allow ordinary programs to take advantage of the unique properties of quantum computers.
KW - compiler optimization
KW - compiler parallelization
KW - CSWAP
KW - logic optimization
KW - quantum computing
UR - http://www.scopus.com/inward/record.url?scp=85069505179&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85069505179&partnerID=8YFLogxK
U2 - 10.1109/IGCC.2018.8752114
DO - 10.1109/IGCC.2018.8752114
M3 - Conference contribution
AN - SCOPUS:85069505179
T3 - 2018 9th International Green and Sustainable Computing Conference, IGSC 2018
BT - 2018 9th International Green and Sustainable Computing Conference, IGSC 2018
T2 - 9th International Green and Sustainable Computing Conference, IGSC 2018
Y2 - 22 October 2018 through 24 October 2018
ER -
