2017 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 13-16, 2017Irvine Marriott Irvine, CA

MP Associates, Inc.
THURSDAY November 16, 8:00am - 5:00pm | Salons B2 & C
Design Automation for Quantum Computers

Andrew Cross - IBM Corp.
Matthew Neely - Google
Nathan Wiebe - Microsoft Research
Jungsang Kim - Duke Univ.
Mingsheng Ying - Univ. of Technology Sydney
Will Zeng - Rigetti Computing
BenoƮt Valiron - Univ. Paris-Sud
Alan Mishchenko - Univ. of California, Berkeley
Olivia Di Matteo - University of Waterloo, Institute for Quantum Computing
Simon Devitt - Riken
Matthew Amy - University of Waterloo, Institute for Quantum Computing
Martin Roetteler - Microsoft Research
Mathias Soeken - EPFL
Poster Submissions
We invite attendants to submit and present posters of their research. Intended posters must be registered by sending a title and an abstract to mathias.soeken@epfl.ch no later than October 10, 2017. Notifications will be send to the authors by October 17, 2017.

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.

Time Speaker Institution
08:00 Welcome by the Organizers  
08:30 Matthew Neely Google
09:10 Nathan Wiebe Microsoft Research
09:50 Jungsang Kim Duke University
10:30 Coffee + Poster  
11:00 Mingsheng Ying  University of Technology, Sydney
11:40 Will Zeng Rigetti
12:20 Lunch   
13:50 Benoît Valiron Université Paris-Sud
14:30 Alan Mishchenko  University of California, Berkley 
15:10 Coffee + Poster   
15:40 Olivia Di Matteo  University of Waterloo, Institute for Quantum Computing 
16:20  Simon Devitt  Riken
17:00  Matthew Amy  University of Waterloo, Institute for Quantum Computing 
17:40 Closing by the Organizers