Skip to main content
SpringerLink
Log in
Book cover

Reversible Computation

11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Michael Kirkedal Thomsen

    1. University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mathias Soeken

    1. École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11497)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RC 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Concurrent Quantum Strategies

      • Pierre Clairambault, Marc de Visme, Glynn Winskel
      Pages 3-19

  3. Theory and Foundation

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits

      • Alexis De Vos, Stijn De Baerdemacker
      Pages 23-33

    3. Inversion, Iteration, and the Art of Dual Wielding

      • Robin Kaarsgaard
      Pages 34-50

    4. Reversibility vs Local Creation/Destruction

      • Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
      Pages 51-66

    5. Characterizing Compatible View Updates in Syntactic Bidirectionalization

      • Naoki Nishida, Germán Vidal
      Pages 67-83

  4. Programming Languages

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Sized Types for Low-Level Quantum Metaprogramming

      • Matthew Amy
      Pages 87-107

    3. Reversible Imperative Parallel Programs and Debugging

      • James Hoey, Irek Ulidowski
      Pages 108-127

  5. Circuit Synthesis

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures

      • Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva
      Pages 131-145

    3. Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation

      • Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller
      Pages 146-161

    4. An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid

      • Atsushi Matsuo, Shigeru Yamashita
      Pages 162-168

  6. Evaluation of Circuit Synthesis

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Evaluating the Flexibility of A* for Mapping Quantum Circuits

      • Alwin Zulehner, Hartwig Bauer, Robert Wille
      Pages 171-190

    3. Evaluating ESOP Optimization Methods in Quantum Compilation Flows

      • Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
      Pages 191-206

  7. Applications and Implementations

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. Implementing NChooseK on IBM Q Quantum Computer Systems

      • Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin
      Pages 209-223
Back to top

Other volumes

  1. Reversible Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.

The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.


Editors and Affiliations

  • University of Copenhagen, Copenhagen, Denmark

    Michael Kirkedal Thomsen

  • École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    Mathias Soeken

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation