| 2022 | A Reversible Debugger for Imperative Parallel Programs with Contracts. Takashi Ikeda, Shoji Yuen |
| 2022 | Algeo: An Algebraic Approach to Reversibility. Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
| 2022 | Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. Giacomo Maletto, Luca Roversi |
| 2022 | Concurrencies in Reversible Concurrent Calculi. Clément Aubert |
| 2022 | Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. Lia Yeh, John van de Wetering |
| 2022 | Designing a Reversible Stack Machine. Niklas Deworetzki, Uwe Meyer |
| 2022 | Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello |
| 2022 | Fast Control for Reversible Processors. Torben Ægidius Mogensen |
| 2022 | Formal Translation from Reversing Petri Nets to Coloured Petri Nets. Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
| 2022 | Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. Shohei Kuroda, Shigeru Yamashita |
| 2022 | Optimizing Reversible Programs. Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke |
| 2022 | Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille |
| 2022 | Reversibility in Erlang: Imperative Constructs. Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2022 | Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings Claudio Antares Mezzina, Krzysztof Podlaski |
| 2022 | Reversible Computation in Integrated Photonics. Alexis De Vos |
| 2022 | The ℵ-Calculus - A Declarative Model of Reversible Programming. Hannah Earley |
| 2022 | Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. James Hoey, Irek Ulidowski |