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.
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.
