2nd International Workshop on
Quantum Compilation

November 8, 2018 · Hilton San Diego Resort & Spa · San Diego, 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.

The scope of the workshop includes, but is not limited to, current hot topics in quantum circuit design such as

  • space-optimizing compilers for reversible circuits
  • design-space exploration for automatic code generation from classical HDL specification
  • quantum programming languages
  • reversible logic synthesis
  • technology-aware mapping
  • error correction
  • optimized libraries (e.g., for arithmetic and Hamiltonian simulation)
  • benchmarking of circuits for small and medium scale quantum computers
  • quantum and reversible circuit peep-holing and (re)synthesis
  • software and tools for all above mentioned topics
  • quantum outreach: coding contests, tutorials, education

Program (Room: Capri)

08:00 – 08:20 Welcome
Mathias Soeken (EPFL), Thomas Häner (ETH Zürich)
08:20 – 08:40 Compiling Quantum Circuits to the IBM QX Architectures
Alwin Zulehner (Johannes Kepler University Linz), Robert Wille (Johannes Kepler University Linz)
08:40 – 09:00 Implementing CNOT gates in IBM Quantum Architectures
Alexandre A. A. De Almeida (Universidade Estadual Paulista UNESP), Gerhard Dueck (University of New Brunswick), Alexandre César Rodrigues Da Silva (Universidade Estadual Paulista UNESP)
09:00 – 09:20 High Fidelity Qubit Mapping for IBM Q
Shin Nishio (Keio University), Yulu Pan (Keio University), Takahiko Satoh (Keio University), Rodney Van Meter (Keio University)
09:20 – 09:40 NISQ Optimization for CNOT and CNOT + T circuits
Vlad Gheorghiu (University of Waterloo), Beatrice Nash (MIT)
09:40 – 10:40 Coffee break
10:40 – 11:00 QOPTER --Quantum program OPTimizER--
Yulu Pan (Keio University), Shin Nishio (Keio University), Takahiko Satoh (Keio University), Rodney Van Meter (Keio University), Hideharu Amano (Keio University)
11:00 – 11:20 Reversible Pebbling Game for Quantum Memory Management
Giulia Meuli (EPFL), Mathias Soeken (EPFL), Martin Roetteler (Microsoft), Nikolaj Bjørner (Microsoft Research), Giovanni De Micheli (EPFL)
11:20 – 11:40 Simulating Clifford Circuits for Optimal Small Quantum Memories
Alan Robertson (The University of Sydney), Steve Flammia (The University of Sydney)
11:40 – 12:00 Fault-tolerant resource estimation of quantum random-access memories
Olivia Di Matteo (University of Waterloo), Vlad Gheorghiu (University of Waterloo), Michele Mosca (University of Waterloo)
12:00 – 13:30 Lunch break
13:30 – 14:00 quilc: The Rigetti quantum compiler
Eric Peterson (Rigetti Computing)
14:00 – 14:30 Quantum programming in Q#: katas and programming contests
Mariia Mykhailova (Microsoft), Chris Granade (Microsoft), Martin Roetteler (Microsoft)
14:30 – 15:00 Qiskit transpiler framework for circuit optimization
Ali Javadi-Abhari (IBM)
15:00 – 15:30 Coffee break
15:30 – 15:50 Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits
Philipp Niemann (University of Bremen), Robert Wille (Johannes Kepler University Linz), Rolf Drechsler (University of Bremen)
15:50 – 16:10 Universal Quantum Compiler
Raban Iten (ETH Zürich), Thomas Haener (ETH Zürich), Emanuel Malvetti (ETH Zürich), Luca Mondada (ETH Zürich), Oliver Reardon-Smith (University of York), Ravjot Singh (University of Hamburg), Matthias Christandl (University of Copenhagen), Roger Colbeck (University of York)
16:10 – 16:30 Toward certified quantum programming
Christophe Chareton (CEA/LIST/LSL), Sébastien Bardin (CEA/LIST/LSL), François Bobot (CEA/LIST/LSL), Valentin Perrelle (CEA/LIST/LSL), Benoît Valiron (LRI/ Centrale Supélec)
16:30 – 16:50 A fixed polarity approach for optimization of general binary quantum multiplexers
Kevin Jin (Sunset High School), Tahsin Saffat (MIT), Marek Perkowski (Portland State University)
16:50 – 17:10 ESOP Optimization for Quantum Cost Reduction
Giulia Meuli (EPFL), Bruno De O. Schmitt (EPFL), Heinz Riener (EPFL), Giovanni De Micheli (EPFL)
17:10 – 18:00 Closing and discussions

Important dates

September 2, 2018 (anywhere-on-earth) September 23, 2018 (extended, anywhere-on-earth) Submission of abstract
September 9, 2018 September 30, 2018 Notification of decisions
November 8, 2018 Workshop

Instructions for authors

The main purpose of the workshop is to exchange recent ideas and reserch in the area of quantum compilation. The workshop has no formal proceedings. Authors are invited to submit an abstract or a paper, with no restrictions on the format. Submission of tool and case-study papers are highly encouraged. In case of a positive evaluation, submissions are accepted either as oral or poster presentation to be part of the workshop program. All abstracts and papers are distributed only among the participants. Please submit your papers through EasyChair: https://easychair.org/conferences/?conf=iwqc18

Organizers

Previous editions