Reversible Computation. 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings

245 Pages·2022·8.13 MB·English

by  Claudio Antares Mezzina, Krzysztof Podlaski

Claudio Antares Mezzina
Krzysztof Podlaski (Eds.)
4
5
3
3
1

S
C Reversible Computation
N
L
14th International Conference, RC 2022
Urbino, Italy, July 5–6, 2022
Proceedings
Lecture Notes in Computer Science 13354
FoundingEditors
GerhardGoos
KarlsruheInstituteofTechnology,Karlsruhe,Germany
JurisHartmanis
CornellUniversity,Ithaca,NY,USA
EditorialBoardMembers
ElisaBertino
PurdueUniversity,WestLafayette,IN,USA
WenGao
PekingUniversity,Beijing,China
BernhardSteffen
TUDortmundUniversity,Dortmund,Germany
MotiYung
ColumbiaUniversity,NewYork,NY,USA
Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/558
·
Claudio Antares Mezzina
Krzysztof Podlaski (Eds.)
Reversible Computation
14th International Conference, RC 2022
Urbino, Italy, July 5–6, 2022
Proceedings
Editors
ClaudioAntaresMezzina KrzysztofPodlaski
UniversityofUrbino UniversityofŁódz´
Urbino,Pesaro-Urbino,Italy Lodz,Poland
ISSN 0302-9743 ISSN 1611-3349 (electronic)
LectureNotesinComputerScience
ISBN 978-3-031-09004-2 ISBN 978-3-031-09005-9 (eBook)
https://doi.org/10.1007/978-3-031-09005-9
©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicense
toSpringerNatureSwitzerlandAG2022
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
This volume contains the papers presented at the 14th Conference on Reversible
Computation(RC2022),heldduringJuly5–6,2022,andhostedbyUniversityofUrbino,
in Italy. For the past two years, the RC conference has been held online, due to the
COVID-19 pandemic situation. This year, we attempted to get back to normality by
holdingtheeventinpersoninUrbino.
TheRCconferencebringstogetherresearchersfromcomputerscience,mathematics,
engineering,andphysicstodiscussnewdevelopmentsanddirectionsforfutureresearch
intheemergingareaofReversibleComputation.Thisincludes,forexample,reversible
formal models, reversible programming languages, reversible circuits, and quantum
computing.
This year, the conference received 20 submissions, and we would like to thank
everyonewhosubmitted.Eachsubmissionwasreviewedbyatleastthreereviewers,who
provideddetailedevaluationsaswellasconstructivecommentsandrecommendations.
Aftercarefulreviewingandextensivediscussions,theProgramCommittee(PC)accepted
11fullpapersandfiveshortpapersforpresentationattheconference.Wewouldliketo
thankthePCmembersandalltheadditionalreviewersfortheirtrulyprofessionalwork
andstrongcommitmenttothesuccessofRC2022.Wearealsogratefultotheauthors
fortakingintoaccountthecommentsandsuggestionsprovidedbytherefereesduring
thepreparationofthefinalversionsoftheirpapers.
Reversibility is catering to a lot of interest from industry. To mark this aspect, the
conference program included two invited talks from industry. Robert O’Callahan dis-
cussed“ReverseExecutionInTherrDebugger”andVincentvanWingerdengaveatalk
on“AnintroductiontoAzureQuantumandtheMicrosoftQDK”.
Finally,wewanttothanktheUniversityofUrbinoforsupportingtheconferenceand
theDepartmentofPureandAppliedSciences(DiSPeA)forprovidingthefacilitiesand
various other support for the success of the conference. Also, we would like to thank
RodolfoRossiniandhiscompanyVaireforhavingpartiallysupportedRC2022.
May2022 ClaudioAntaresMezzina
KrzysztofPodlaski
Organization
ProgramCommitteeChairs
ClaudioAntaresMezzina UniversityofUrbino,Italy
KrzysztofPodlask UniversityofŁódz´,Poland
SteeringCommittee
RolfDrechsler UniversityofBremen,Germany
RobertGlück UniversityofCopenhagen,Denmark
IvanLanese InriaandUniversityofBologna,Italy
IrekUlidowski UniversityofLeicester,UK
RobertWille TechnicalUniversityofMunich,Germany,and
SCCHGmbH,Austria
ProgramCommittee
ClémentAubert AugustaUniversity,USA
KamilaBarylska NicolausCopernicusUniversity,Poland
RobertGlück UniversityofCopenhagen,Denmark
IvanLanese InriaandUniversityofBologna,Italy
HernanMelgratti ICC,UniversidaddeBuenosAiresand
CONICET,Argentina
KeisukeNakano TohokuUniversity,Japan
AlexandruPaler AaltoUniversity,Finland
IainPhillips ImperialCollegeLondon,UK
G.MichelePinna UniversityofCagliari,Italy
NeilJulienRoss DalhousieUniversity,Canada
BrunoSchmitt EPFL,Switzerland
HarunSiljak TrinityCollegeDublin,Ireland
YasuhiroTakahashi NTTCommunicationScienceLaboratories,Japan
IrekUlidowski UniversityofLeicester,UK
BenoîtValiron LMF,CentraleSupelec,UniversitéParis-Saclay,
France
RobertWille TechnicalUniversityofMunich,Germany,and
SCCHGmbH,Austria
ShigeruYamashita RitsumeikanUniversity,Japan
ShojiYuen NagoyaUniversity,Japan
viii Organization
AdditionalReviewers
VikramanChoudhury
GiovanniFabbretti
AnnaGogolinska
JamesHoey
LukaszMikulski
Contents
ReversibleandQuantumCircuits
ReversibleComputationinIntegratedPhotonics ........................... 3
AlexisDeVos
OptimizationofQuantumBooleanCircuitsbyRelative-PhaseToffoliGates ... 20
ShoheiKurodaandShigeruYamashita
ConstructingAllQutritControlledClifford+T gatesinClifford+T ............ 28
LiaYehandJohnvandeWetering
FastControlforReversibleProcessors .................................... 51
TorbenÆgidiusMogensen
DesigningaReversibleStackMachine ................................... 65
NiklasDeworetzkiandUweMeyer
ApplicationsofQuantumComputing
Directed Graph Encoding in Quantum Computing Supporting
Edge-Failures ......................................................... 75
D.DellaGiustina,C.Piazza,B.Riccardi,andR.Romanello
ReorderingDecisionDiagramsforQuantumComputingIsHarderThan
YouMightThink ...................................................... 93
StefanHillmich,LukasBurgholzer,FlorianStögmüller,andRobertWille
FoundationsandApplications
CertifyingAlgorithmsandRelevantPropertiesofReversiblePrimitive
PermutationswithLean ................................................ 111
GiacomoMalettoandLucaRoversi
Algeo:AnAlgebraicApproachtoReversibility ............................ 128
FritzHenglein,RobinKaarsgaard,andMikkelKraghMathiesen
ConcurrenciesinReversibleConcurrentCalculi ........................... 146
ClémentAubert
x Contents
Theℵ-Calculus:ADeclarativeModelofReversibleProgramming ............ 164
HannahEarley
FormalTranslationfromReversingPetriNetstoColouredPetriNets ......... 172
KamilaBarylska,AnnaGogolin´ska,ŁukaszMikulski,AnnaPhilippou,
MarcinPiatkowski,andKyriakiPsara
ReversibilityinErlang:ImperativeConstructs ............................. 187
PietroLami, IvanLanese, Jean-BernardStefani,
ClaudioSacerdotiCoen,andGiovanniFabbretti
AReversibleDebuggerforImperativeParallelProgramswithContracts ....... 204
TakashiIkedaandShojiYuen
Towards Causal-Consistent Reversibility of Imperative Concurrent
Programs ............................................................. 213
JamesHoeyandIrekUlidowski
OptimizingReversiblePrograms ......................................... 224
NiklasDeworetzki,MartinKutrib,UweMeyer,andPia-DoreenRitzke
AuthorIndex ......................................................... 239