2020 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 2-5, 2020San Diego Mission Bay Resort

MP Associates, Inc.

THURSDAY November 16, 8:00am - 6:00pm | Salons B2 & C

Design Automation for Quantum Computers

Matthew Amy - Univ. of Waterloo, Institute for Quantum Computing
Andrew Cross - IBM Corp.
Simon Devitt - Macquarie Univ. & Turing, Inc.
Olivia Di Matteo - Univ. of Waterloo, Institute for Quantum Computing
Jungsang Kim - Duke Univ.
Alan Mishchenko - Univ. of California, Berkeley
Matthew Neeley - Google, Inc.
Jennifer Paykin - Univ. of Pennsylvania
Krysta Svore - Microsoft Research
Benoît Valiron - Univ. Paris-Sud
Mingsheng Ying - Univ. of Technology Sydney
Will Zeng - Rigetti 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.