Reversible

Software
A selected set of software artifacts I developed or co-developed.
Jan 1, 2022
Software
Research
A glimpse of my research interests and associated activities.
Dec 1, 2021
Research
ReveR-SES: Reversible Software Execution Systems

Reversible Software Execution Systems ReveR-SES is a paradigm shift in ultra-scale computing to address the outstanding scaling challenges by enabling an entirely new, orthogonal dimension to all aspects of traditional, forward-only computing.
Jan 1, 2022
ReveR-SES: Reversible Software Execution Systems
Introduction to Reversible Computing

ISBN 978-1439873403, 1st Edition | Chapman and Hall/CRC | Taylor&Francis | Amazon
One of the first books on the topic, it contains a compendium of both classical and recently developed results on reversible computing.

Jan 1, 2022
Introduction to Reversible Computing
Accomplishments
A selection of awards and major achievements.
Jan 1, 2022
Accomplishments
Next in Reversible Computing: Breaking the Memory-Computation Asymmetry
A more comprehensive and practical treatment of memory remains to be performed in visiting and answering memory-related unknowns. Some of the answers could have profound impact on classical memory technologies. Reversible execution restores symmetry between memory and computation, correctly reinstating the memory state restoration cost in the aggregate memory cost.
PDF
Normalcy, Magic, Miracle and Error: Emergence along a Reversibility Spectrum
Formation of a butterfly from a pupa, extraction of a live dove from a magician’s empty hat, generation of new particles from high-energy particle collisions and spawning a new dream world from mind in sleep are all examples of a common, fuzzy notion called ‘emergence’. In this paper, I pin the concept of emergence to the element of surprise in a phenomenon. I categorise the various notions of emergence into three main classes. These definitions are used to explain instances of emergence, organised along a continuous spectrum as normality, magic, miracle and error.
PDF Cite
Normalcy, Magic, Miracle and Error: Emergence along a Reversibility Spectrum
Introduction to Reversible Computing
This tutorial provides an introduction to the concept of reversible computing, adopting an expanded view…
PDF Cite Slides
Introduction to Reversible Computing
Reverse Computation for Rollback-based Fault Tolerance in Large Parallel Systems
Reverse computation is presented here as an important future direction in addressing the challenge o…
PDF Cite
Reverse Computation for Rollback-based Fault Tolerance in Large Parallel Systems
Towards Reversible Basic Linear Algebra Subprograms: A Performance Study
Problems such as fault tolerance and scalable synchronization can be efficiently solved using reversibility of applications…
PDF Cite
Towards Reversible Basic Linear Algebra Subprograms: A Performance Study
Reversibly Finding the Square Root of an Integer
Here we consider a case study in reversible computing, namely, how to reversibly compute the integer square root …
PDF Slides
Introduction to Reversible Computing
Few books comprehensively cover the software and programming aspects of reversible computing. Fillin…
PDF Cite
Introduction to Reversible Computing
Reversible Simulations of Elastic Collisions (Extended arXiv version)
Consider a system of N identical hard spherical particles moving in a d-dimensional box and undergoing elastic, possibly multi-particle, collisions…
PDF Cite
Reversible Simulations of Elastic Collisions (Extended arXiv version)
Discrete Event Execution and Reversibility: Challenges in the Path to Asynchrony for Massively Parallel Computing
To keep up with the increasing number of processing elements in parallel/distributed computing, traditional tightly-coupled time-stepped models…
Cite Slides
Discrete Event Execution and Reversibility: Challenges in the Path to Asynchrony for Massively Parallel Computing
ReveR-SES: Reversible Software Execution Systems
[Pub 137]
Cite
ReveR-SES: Reversible Software Execution Systems
[Pub 136] http://science.energy.gov/ascr/ascac/meetings/nov-2011/
Cite
On the Reversibility of Newton-Raphson Root-Finding Method
[Pub 69]
Cite
A Case Study of the Performance of Speculative Asynchronous Simulation on Parallel Computers
Modern supercomputers use thousands of processors running in parallel to achieve their high computat…
Cite
A Case Study of the Performance of Speculative Asynchronous Simulation on Parallel Computers
Two Case Studies of Reversibility in Computational Methods
Currently state- saving is employed in many large simulations to realize rollback. Reverse computati…
Cite
Two Case Studies of Reversibility in Computational Methods
Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits
[Pub 47]
PDF Cite