| 2024 | A Small-Step Semantics for Janus. Pietro Lami, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. Pablo Arrighi, Gilles Dowek, Amélia Durbec |
| 2024 | Algorithmically Expressive, Always-Terminating Model for Reversible Computation. Matteo Palazzo, Luca Roversi |
| 2024 | Causal Debugging for Concurrent Systems. Ivan Lanese, Gregor Gössler |
| 2024 | Compositional Reversible Computation. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry |
| 2024 | Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. Shunya Oguchi, Shoji Yuen |
| 2024 | Connecting Reversible and Classical Computing Through Hybrid SSA. Lukas Gail, Uwe Meyer |
| 2024 | Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross |
| 2024 | Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen |
| 2024 | Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits? Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler |
| 2024 | Jeopardy: An Invertible Functional Programming Language. Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2024 | LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. Scott Wesley |
| 2024 | Model Checking Reversible Systems: Forwardly. Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna |
| 2024 | Reversibility with Holes - (Work in Progress). Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings Torben Ægidius Mogensen, Lukasz Mikulski |
| 2024 | Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama |