the logic of reversible computing Theory and Practice Robin - PowerPoint PPT Presentation

the logic of reversible computing Theory and Practice Robin Kaarsgaard February 26, 2018 DIKU, Department of Computer Science, University of Copenhagen robin@di.ku.dk http://www.di.ku.dk/~robin

a human perspective on a phd project We tend to think of scientists as devices with the signature Scientist Noise: Opinions, essays titled “XYZ considered harmful”, etc. 2 Funding ⊗ Coffee − − − − − → Science ⊗ Noise

overview • Reversible computing: What, how, why? • Reversibility from a denotational perspective • Theme: Reversible recursion • Models of reversible programming languages • Other work • Concluding remarks 3

reversible computing � �� As a consequence, reversible computers are just as happy running backwards as they are running forward. Functions computed by reversible means are injective . �� Reversible computing is the study of models of computation that �� exhibit both forward and backward determinism . �� 4 �� X X Previous Current Next

“I’m sorry, wait… you want to make computers do what ?” 5

reversible computing Information is physical. Landauer: Erasing information, no matter how you do it , costs Reversible computing: Computing without information erasure – avoids Landauer limit, potential to reduce power consumption of computing machinery. Incidental applications: Naturally invertible problems, has even seen applications in the programming of assembly robots(!) 6 energy: at least kT log ( 2 ) joules per bit of information, to be precise.

a broader perspective “So what is it that you do exactly ?” 7

a broader perspective “Caution!!!! Live bees // Part of a Master’s thesis study” 8

a broader perspective $,=’’;sub f{my($a,$r)=@_;@$a-$_||print@$a; for$c(0..$_-1){my($i,$b);for(@$a){$b=1,last if$c==$_||abs$c-$_==$r-$i++}!$b&&f( $A=[@$a,$c],$r+1)&&return$A}}f([]) (Credit: User vakorol at jagc.org) 9

a broader perspective Hypothesis formulated as a mathematical model , predictions extracted from this. Experiments replaced by formal proofs. Mathematical modelling tool of choice: Category theory. 10 Hypothesis Experiment Observation Prediction

the logic of reversible computing Theory and Practice Robin - PowerPoint PPT Presentation

the logic of reversible computing Theory and Practice Robin Kaarsgaard February 26, 2018 DIKU, Department of Computer Science, University of Copenhagen robin@di.ku.dk http://www.di.ku.dk/~robin a human perspective on a phd project We tend to

Universality Issues in Reversible Computing Systems and Cellular Automata Kenichi Morita

An Approach to Synthesis of An Approach to Synthesis of Multiple-Valued Reversible

For Quantum and Reversible From Interval . . . Computing, Intervals Are Case of Fuzzy

Reversible Logic Synthesis of k Input, m Output Lookup Tables Alireza Shafaei, Mehdi

A Cycle-Based Synthesis algorithm for Reversible Logic Zahra Sasanian*, Mehdi Saeedi, Mehdi

Search Detail Submittal Details Docum ent I nfo Title : Reversible Logic for Supercom puting

Reversible Computation and Principal Types in ! -calculus F .Alessi, A.Ciaffaglione, P .Di

Circuit Relations for Real Stabilizers: Towards TOF + H Cole Comfort University of Calgary May

Reversible Computation and Reversible Programming Languages Tetsuo Yokoyama Graduate School of

Electric network for non-reversible Markov chains joint with Aron Folly M arton Bal

Speed limits on and shortcuts to reversible computing Sebastian Deffner Department of Physics

Toward a Curry-Howard Correspondence for Linear, Reversible Computation Reversible Computation

Towards Reversible De-Identification in Video Sequences Using 3D Avatars and Steganography Karla

Reversible calculus Ioana Cristescu 22 June 2012 Ioana Cristescu Reversible calculus

The Complexity of Theorem Proving in Autoepistemic Logic Olaf Beyersdorff School of Computing

From Computing Science to Politics or From Apodictic Logic to Persuasive Logic Furio Honsell

Java Overview 7 January 2019 OSU CSE 1 What is Java? Programming language developed in

Virtual Machines and JITs Prof. Tom Austin San Jos State University A Review of Compilers

Objectives Chapter 1: Introduction to To understand computer basics, programs, and operating

Computer Science II for Majors Lecture 01 Introduction and C++ Primer Dr. Katherine Gibson

An Introduction to Python for Scientists Hands-On Tutorial Ahmed Attia Statistical and Applied

Scripted Components Dr. James A. Bednar jbednar@inf.ed.ac.uk

Welcome to CS251 Interpreter and Translators Theory of Programming Languages Computer Science

STACL: Simultaneous Translation with Integrated Anticipation & Controllable Latency Liang

the logic of reversible computing Theory and Practice Robin - PowerPoint PPT Presentation

the logic of reversible computing Theory and Practice Robin Kaarsgaard February 26, 2018 DIKU, Department of Computer Science, University of Copenhagen robin@di.ku.dk http://www.di.ku.dk/~robin a human perspective on a phd project We tend to

Universality Issues in Reversible Computing Systems and Cellular Automata Kenichi Morita

An Approach to Synthesis of An Approach to Synthesis of Multiple-Valued Reversible

For Quantum and Reversible From Interval . . . Computing, Intervals Are Case of Fuzzy

Reversible Logic Synthesis of k Input, m Output Lookup Tables Alireza Shafaei, Mehdi

A Cycle-Based Synthesis algorithm for Reversible Logic Zahra Sasanian*, Mehdi Saeedi, Mehdi

Search Detail Submittal Details Docum ent I nfo Title : Reversible Logic for Supercom puting

Reversible Computation and Principal Types in ! -calculus F .Alessi, A.Ciaffaglione, P .Di

Circuit Relations for Real Stabilizers: Towards TOF + H Cole Comfort University of Calgary May

Reversible Computation and Reversible Programming Languages Tetsuo Yokoyama Graduate School of

Electric network for non-reversible Markov chains joint with Aron Folly M arton Bal

Speed limits on and shortcuts to reversible computing Sebastian Deffner Department of Physics

Toward a Curry-Howard Correspondence for Linear, Reversible Computation Reversible Computation

Towards Reversible De-Identification in Video Sequences Using 3D Avatars and Steganography Karla

Reversible calculus Ioana Cristescu 22 June 2012 Ioana Cristescu Reversible calculus

The Complexity of Theorem Proving in Autoepistemic Logic Olaf Beyersdorff School of Computing

From Computing Science to Politics or From Apodictic Logic to Persuasive Logic Furio Honsell

Java Overview 7 January 2019 OSU CSE 1 What is Java? Programming language developed in

Virtual Machines and JITs Prof. Tom Austin San Jos State University A Review of Compilers

Objectives Chapter 1: Introduction to To understand computer basics, programs, and operating

Computer Science II for Majors Lecture 01 Introduction and C++ Primer Dr. Katherine Gibson

An Introduction to Python for Scientists Hands-On Tutorial Ahmed Attia Statistical and Applied

Scripted Components Dr. James A. Bednar jbednar@inf.ed.ac.uk

Welcome to CS251 Interpreter and Translators Theory of Programming Languages Computer Science

STACL: Simultaneous Translation with Integrated Anticipation &amp; Controllable Latency Liang

STACL: Simultaneous Translation with Integrated Anticipation & Controllable Latency Liang