Full Description
This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18-19, 2023.
The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.
Contents
Invited Paper.- Energy complexity of computation.- Foundations.- Replications in Reversible Concurrent Calculi.- Towards a Taxonomy for Reversible Computation Approaches.- Computational Complexity of Reversible Reaction Systems.- Reversible Programming.- Optimization of Reversible Control Flow Graphs.- Tail recursion transformation for invertible functions.- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.- Towards a Dereversibilizer: Fewer Asserts, Statically.- Quantum Computing.- Quantum String Matching Unfolded and Extended.- Optimizing Quantum Space using Spooky Pebble Games.- Uncomputation in the Qrisp high-level Quantum Programming Framework.- Quantum Circuits.- Improved Synthesis of Tooli-Hadamard Circuits.- Implementation of a Reversible Distributed Calculus.- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuitsto 2-Dimensional Hexagonal Architecture.- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.
