Design Automation for
Quantum Computers

November 16, 2017 · Irvine Mariott · Irvine, CA, USA · co-located with ICCAD

About the workshop

The workshop aims to bring together researchers from quantum computing, electronic design automation, and compiler construction. Open questions that we anticipate this group to tackle include new methods for circuit synthesis and optimization, optimizations and rewriting, techniques for verifying the correctness of quantum programs, and new techniques for compiling efficient circuits and protocols regarding fault-tolerant and architecture constraints. Currently, only very few opportunities exist to bring together experts from the fields of quantum computing and design automation; to give them the opportunity to engage in exchange of ideas; and to report on progress for both theoretical and implementation aspects. We also expect a vibrant open problems session as well as exchange of benchmarks, i.e., for the best known circuits for some classes of transformations that are important for the synthesis of large quantum algorithms. The invited speakers cover the whole design flow of quantum computing, starting from the design of quantum algorithms to the actual physical devices. The range further covers, quantum programming languages, reversible logic synthesis, quantum circuit optimization, aspects of fault-tolerant quantum computing, and verification of quantum circuits. The talks introduce the state-of-the-art of each field, describe present challenges, and outline opportunities for design automation.

Program (Room: Salons B2 & C)

08:00 – 08:30 Welcome and Introduction
Martin Roetteler (Microsoft), Mathias Soeken (EPFL)
08:30 – 09:05 Scaling Superconducting Qubits: Toward a Demonstration of Quantum Supremacy
Matthew Neely (Google)
09:05 – 09:40 Empowering the quantum revolution
Krysta M. Svore (Microsoft)
09:40 – 10:15 Technology Mapping with Choices, Priority Cuts, and Placement-Aware Heuristics
Alan Mishchenko (UC Berkeley)
10:15 – 10:45 Coffee + Posters
10:45 – 11:20 The IBM Q experience and open- source quantum computing software
Andrew W. Cross (IBM)
11:20 – 11:55 Toward automatic verification of quantum programs
Mingsheng Ying (University of Technology, Sydney)
11:55 – 12:30 Verifying Quantum Circuits in QWIRE
Jennifer Paykin (Univ. of Pennsylvania)
12:30 – 13:50 Lunch
13:50 – 14:25 Design considerations for Trapped Ion Quantum Computer
Jungsang Kim (Duke University, IonQ)
14:25 – 15:00 Parallelizing quantum circuit synthesis
Olivia Di Matteo (University of Waterloo, Institute for Quantum Computing)
15:00 – 15:35 Quantum compilation: from high- level to intermediate representation
Benoit Valiron (UniversiteĢ Paris-Sud)
15:35 – 16:05 Coffee + Posters
16:05 – 16:40 Tricks and trivialities in compiling to superconducting quantum processors
Will Zeng (Rigetti)
16:40 – 17:15 Large-scale quantum computing using NV-diamond - Quantum hardware and software engineering
Simon Devitt (Riken, Turing Inc.)
17:15 – 17:50 Verification in quantum computing
Matthew Amy (University of Waterloo, Institute for Quantum Computing)
17:50 – 18:00 Closing


  • Quantum Computing Performance Analysis System (Byung-Soo Choi)
  • Compiling Boolean Satisfiability Problem: A Lesson from FPGA CAD Tool (Juexiao Su)
  • A Computational Design Framework for Silicon Donor Qubits (Fahd A. Mohiyaddin, Jacek Jakowski, Jingsong Huang, Yousif W. Almulla, M. Nance Ericson, Charles Britton, Franklin G. Curtis, Eugene F. Dumitrescu, Bobby G. Sumpter, and Travis S. Humble)
  • Simulation of Quantum Computations Using Decision Diagrams (Alwin Zulehner and Robert Wille)
  • Technology Dependent Quantum Logic Synthesis and Compilation (Kaitlin Smith and Mitch Thornton)
  • LUT-based logic synthesis for quantum computing (Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, and Giovanni De Micheli)
  • Design of quantum circuits with a reversible functional language (Michael Kirkedal Thomsen)
  • Towards uniform approaches to create quantum Grover oracles for practical problems (Marek Perkowski)
  • Identifying the synthesis approach of a reversible circuit (Samah Saeed)