Abstract is missing.
- Causal Debugging for Concurrent SystemsIvan Lanese, Gregor Gössler. 3-9 [doi]
- Compositional Reversible ComputationJacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry. 10-27 [doi]
- Algorithmically Expressive, Always-Terminating Model for Reversible ComputationMatteo Palazzo, Luca Roversi. 31-49 [doi]
- A Toy Model Provably Featuring an Arrow of Time Without Past HypothesisPablo Arrighi, Gilles Dowek, Amélia Durbec. 50-68 [doi]
- Reversibility with Holes - (Work in Progress)Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. 69-74 [doi]
- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible HardwareLars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen. 77-93 [doi]
- Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with ZipTherese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama. 94-102 [doi]
- A Small-Step Semantics for JanusPietro Lami, Ivan Lanese, Jean-Bernard Stefani. 105-123 [doi]
- Jeopardy: An Invertible Functional Programming LanguageJoachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen. 124-141 [doi]
- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and QuipperScott Wesley. 142-160 [doi]
- Connecting Reversible and Classical Computing Through Hybrid SSALukas Gail, Uwe Meyer 0003. 161-178 [doi]
- Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming LanguageShunya Oguchi, Shoji Yuen. 181-200 [doi]
- Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler. 201-217 [doi]
- Model Checking Reversible Systems: ForwardlyFederico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna. 218-237 [doi]
- Exact Synthesis of Multiqubit Clifford-Cyclotomic CircuitsMatthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross. 238-245 [doi]