ScaffCC: Scalable compilation and analysis of quantum programs

Ali Javadiabhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

Research output: Contribution to journalArticle

35 Scopus citations

Abstract

Abstract We present ScaffCC, a scalable compilation and analysis framework based on LLVM (Lattner and Adve, 2004), which can be used for compiling quantum computing applications at the logical level. Drawing upon mature compiler technologies, we discuss similarities and differences between compilation of classical and quantum programs, and adapt our methods to optimizing the compilation time and output for the quantum case. Our work also integrates a reversible-logic synthesis tool in the compiler to facilitate coding of quantum circuits. Lastly, we present some useful quantum program analysis scenarios and discuss their implications, specifically with an elaborate discussion of timing analysis for critical path estimation. Our work focuses on bridging the gap between high-level quantum algorithm specifications and low-level physical implementations, while providing good scalability to larger and more interesting problems.

Original languageEnglish (US)
Article number2225
Pages (from-to)2-17
Number of pages16
JournalParallel Computing
Volume45
DOIs
StatePublished - Oct 1 2015

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computer Graphics and Computer-Aided Design
  • Artificial Intelligence

Keywords

  • Compilers
  • Quantum computation
  • Reversible logic

Fingerprint Dive into the research topics of 'ScaffCC: Scalable compilation and analysis of quantum programs'. Together they form a unique fingerprint.

  • Cite this

    Javadiabhari, A., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F. T., & Martonosi, M. (2015). ScaffCC: Scalable compilation and analysis of quantum programs. Parallel Computing, 45, 2-17. [2225]. https://doi.org/10.1016/j.parco.2014.12.001