Reversible Computation. 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings PDF
Preview Reversible Computation. 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings
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
The list of books you might like
