Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

ISBN-13: 9783030214999 / Angielski / Miękka / 2019 / 247 str.

Michael Kirkedal Thomsen; Mathias Soeken

Spis treści

Invited Talk.- Concurrent Quantum Strategies.- Theory and Foundation.- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits.- Inversion, Iteration, and the Art of Dual Wielding.- Reversibility vs local creation/destruction.- Characterizing Compatible View Updates in Syntactic Bidirectionalization.- Programming Languages.- Sized Types for low-level Quantum Metaprogramming.- Reversible Imperative Parallel Programs and Debugging.- Circuit Synthesis.- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures.- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation.- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid.- Evaluation of Circuit Synthesis.- Evaluating the Flexibility of A* for Mapping Quantum Circuits.- Evaluating ESOP Optimization Methods in Quantum Compilation Flows.- Applications and Implementations.- Implementing NChooseK on IBM Q Quantum Computers.- Reversible Carry-Lookahead Addition With Few Ancillae.- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.