Invited Talk
Concurrent Quantum Strategies / Pierre Clairambault, Marc de Visme, Glynn Winskel
Theory and Foundation
A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits / Alexis De Vos, Stijn De Baerdemacker
Inversion, Iteration, and the Art of Dual Wielding / Robin Kaarsgaard
Reversibility vs Local Creation/Destruction / Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
Characterizing Compatible View Updates in Syntactic Bidirectionalization / Naoki Nishida, Germán Vidal
Programming Languages
Sized Types for Low-Level Quantum Metaprogramming / Matthew Amy
Reversible Imperative Parallel Programs and Debugging / James Hoey, Irek Ulidowski
Circuit Synthesis
Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures / Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation / Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid / Atsushi Matsuo, Shigeru Yamashita
Evaluation of Circuit Synthesis
Evaluating the Flexibility of A* for Mapping Quantum Circuits / Alwin Zulehner, Hartwig Bauer, Robert Wille
Evaluating ESOP Optimization Methods in Quantum Compilation Flows / Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
Applications and Implementations
Implementing NChooseK on IBM Q Quantum Computer Systems / Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin
Reversible In-Place Carry-Lookahead Addition with Few Ancillae / Torben Ægidius Mogensen
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications / Anna Philippou, Kyriaki Psara, Harun Siljak.