.- 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.
