Reversible Computation
Description
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4-5, 2024.
The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
More details
Other editions
Additional editions
Content
.-
Invited Papers
.
.- Causal Debugging for Concurrent Systems (Tutorial).
.- Compositional Reversible Computation.
.-
Models of Reversible Computation
.
.- Algorithmically expressive, always-terminating model for reversible computation.
.- A toy model provably featuring an arrow of time without past hypothesis.
.- Reversibility with holes.
.-
Experiments in Reversible Programming
.
.- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
.- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip.
.-
Reversible and Quantum Programming Languages
.
.- A Small-Step Semantics for Janus.
.- Jeopardy: An Invertible Functional Programming Language.
.- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
.- Connecting Reversible and Classical Computing through Hybrid SSA.
.-
Synthesis, Verification, and Analysis of Reversible and Quantum Systems
.
.- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language.
.- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?.
.- Model Checking Reversible Systems: Forwardly.
.- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.