| 2020 | Reversible Programming Languages Capturing Complexity Classes. | Lars Kristiansen |
| 2020 | A Reversible Runtime Environment for Parallel Programs. | Takashi Ikeda, Shoji Yuen |
| 2020 | Event Structures for the Reversible Early Internal π-Calculus. | Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2020 | ReverCSP: Time-Travelling in CSP Computations. | Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit |
| 2020 | Encoding Reversing Petri Nets in Answer Set Programming. | Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara |
| 2020 | Fractional Types - Expressive and Safe Space Management for Ancilla Bits. | Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
| 2020 | Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. | Kostia Chardonnet, Alexis Saurin, Benot Valiron |
| 2020 | Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. | Timothe Goubault de Brugire, Marc Baboulin, Benot Valiron, Simon Martiel, Cyril Allouche |
| 2020 | Maximality of Reversible Gate Sets. | Tim Boykett |
| 2020 | A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. | Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger |
| 2019 | Evaluating the Flexibility of A* for Mapping Quantum Circuits. | Alwin Zulehner, Hartwig Bauer, Robert Wille |
| 2019 | A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits. | Alexis De Vos, Stijn De Baerdemacker |
| 2019 | Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation. | Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller |
| 2019 | Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. | Anna Philippou, Kyriaki Psara, Harun Siljak |
| 2019 | Reversible In-Place Carry-Lookahead Addition with Few Ancillae. | Torben gidius Mogensen |
| 2019 | Evaluating ESOP Optimization Methods in Quantum Compilation Flows. | Giulia Meuli, Bruno Schmitt, Rdiger Ehlers, Heinz Riener, Giovanni De Micheli |
| 2019 | An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid. | Atsushi Matsuo, Shigeru Yamashita |
| 2019 | Implementing NChooseK on IBM Q Quantum Computer Systems. | Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin |
| 2019 | Inversion, Iteration, and the Art of Dual Wielding. | Robin Kaarsgaard |
| 2019 | Reversible Imperative Parallel Programs and Debugging. | James Hoey, Irek Ulidowski |
| 2019 | Concurrent Quantum Strategies. | Pierre Clairambault, Marc de Visme, Glynn Winskel |
| 2019 | Reversibility vs Local Creation/Destruction. | Pablo Arrighi, Nicolas Durbec, Aurlien Emmanuel |
| 2019 | Sized Types for Low-Level Quantum Metaprogramming. | Matthew Amy |
| 2019 | Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures. | Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre Csar Rodrigues da Silva |
| 2019 | Characterizing Compatible View Updates in Syntactic Bidirectionalization. | Naoki Nishida, Germn Vidal |