Reversing Imperative Parallel Programs

The authors acknowledge partial support of COST Action IC1405 on Reversible Computation - extending horizons of computing. The second author acknowledges the support by the University of Leicester in granting him Academic Study Leave, and thanks Nagoya University for support during the study leave. The third author acknowledges the support by JSPS KAKENHI grants JP17H0722 and JP17K19969.

[1]  Christopher D. Carothers,et al.  Efficient optimistic parallel simulations using reverse computation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[2]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[3]  Rajib Mall,et al.  Reverse execution of programs , 1999, SIGP.

[4]  Rolf Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[5]  Robert Glück,et al.  Derivation of Deterministic Inverse Programs Based on LR Parsing , 2004, FLOPS.

[6]  Markus Schordan,et al.  Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application , 2016, SIGSIM-PADS.

[7]  Iain C. C. Phillips,et al.  Reversing algebraic process calculi , 2007, J. Log. Algebraic Methods Program..

[8]  R. M. Fujimoto,et al.  Parallel discrete event simulation , 1989, WSC '89.

[9]  Markus Schordan,et al.  Reverse Code Generation for Parallel Discrete Event Simulation , 2015, RC.

[10]  Alessandro Pellegrini,et al.  Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation , 2016, RC.

[11]  Kalyan S. Perumalla,et al.  Introduction to Reversible Computing , 2013 .

[12]  Robert Glück,et al.  Principles of a reversible programming language , 2008, CF '08.

[13]  Irek Ulidowski,et al.  A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway , 2012, RC.

[14]  Richard W. Vuduc,et al.  The Backstroke framework for source level reverse computation applied to parallel discrete event simulation , 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

[15]  Robert Glück,et al.  Revisiting an automatic program inverter for Lisp , 2005, SIGP.

[16]  Hans Httel.  Transitions and Trees: An Introduction to Structural Operational Semantics , 2010 .

[17]  Robert Glück,et al.  A reversible programming language and its invertible self-interpreter , 2007, PEPM '07.

[18]  Eugene H. Spafford,et al.  An execution-backtracking approach to debugging , 1991, IEEE Software.