Accepted Papers

In no particular order, were accepted for presentation (some of them conditionally) at RC 2026 the following:

Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and Giovanna Turvani. Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-based Prediction
Baptiste Vallée and Ivan Lanese. On Weak Bisimilarities in CCSK
Byron Gregg and Christof Teuscher. A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures
Christine Li and Lia Yeh. Transversal AND in Quantum Codes
Daniel Dávalos and Hernán Claudio Melgratti. A Lean Mechanization of Reversible Occurrence Nets
Giacomo Belli and Michele Amoretti. Exact Quantum State Preparation with the Standard Recursive Block Basis
Hugh Potter and Hannah Blyton. Discrete Semantics for Reversible Transistor Network Verification
Ivan Lanese and German Vidal. A Reversible Semantics for Janus
Joachim Kristensen, Triera Gashi and Michael Kirkedal Thomsen. Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
Julie Cailler and Martin Vassor. A Graph Rewriting-Based Semantics and Implementation for ρπ
Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro Kikuchi. PisoLang: a User-Friendly Reversible Programming Language with Inductive Types
Louis Marott Normann and Robert Glück. PEARL: A Partial Evaluation Toolbox for a Reversible Language
Lukas Gail, Uwe Meyer and Tristan Schönhals. Compiling Roopl++ to HSSA
Nicolò Pizzo and Claudio Sacerdoti Coen. A Reversible Crumbling Abstract Machine for Plotkin’s Call-by-Value
Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and Eero Vainikko. Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra
Toya Makino and Tetsuo Yokoyama. Small-Step Semantics with Meta-Level Reversibility for a Reversible Core Language
Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. Introducing Time Passage to the Reversible Semantics for Erlang