R. Holger-bock-axelsen, T. Glückand, and . Yokoyama, Reversible Machine Code and Its Abstract Processor Architecture, Computer Science ? Theory and Applications. Proceedings, pp.56-69, 2007.
DOI : 10.1007/978-3-540-74510-5_9

G. Henry and . Baker, Nreversal of fortune -the thermodynamics of garbage collection, Proceedings of the International Workshop on Memory Management, pp.507-524, 1992.

C. H. Bennett, Logical Reversibility of Computation, IBM Journal of Research and Development, vol.17, issue.6, pp.525-532, 1973.
DOI : 10.1147/rd.176.0525

C. H. Bennett, Time-space tradeoffs for reversible computation, SIAM J. Comput, 1989.

A. David, R. Berson, M. L. Gupta, and . Soffa, Ursa: A unified resource allocator for registers and functional units in vliw architectures, PACT '93: Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, pp.243-254, 1993.

P. G. Bishop, Using reversible computing to achieve fail-safety, Proceedings The Eighth International Symposium on Software Reliability Engineering, 1997.
DOI : 10.1109/ISSRE.1997.630863

F. Bouchez, A Study of Spilling and Coalescing in Register Allocation as Two Separate Phases, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00403504

A. Shindlerb, C. Urbacha, K. Jansenb, and U. Wenger, Hmc algorithm with multiple time scale integration and mass preconditioning, Computer Physics Communications, 2006.

C. D. Carothers, K. S. Perumalla, and R. M. Fujimoto, Efficient optimistic parallel simulations using reverse computation, Proceedings of the thirteenth workshop on Parallel and distributed simulation, PADS '99, pp.126-135, 1999.

G. J. Chaitin, Register allocation & spilling via graph coloring, SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction, 1982.
DOI : 10.1145/800230.806984

M. P. Frank, The R programming language and compiler, 1997.

D. E. Knuth, An empirical study of FORTRAN programs, Software: Practice and Experience, pp.105-133, 1971.
DOI : 10.1002/spe.4380010203

C. Lutz and H. Derby, Janus: a time-reversible language, 1982.

M. Punjani, Register rematerialization in gcc, GCC Developers' Summit, 2004.

T. Zhang, X. Zhuang, and S. Pande, Compiler Optimizations to Reduce Security Overhead, International Symposium on Code Generation and Optimization (CGO'06), pp.346-357, 2006.
DOI : 10.1109/CGO.2006.8

Y. Zhang, Y. Kwon, and H. Lee, A systematic generation of initial register-reuse chains for dependence minimization, ACM SIGPLAN Notices, vol.36, issue.2, pp.47-54, 2001.
DOI : 10.1145/609761.609767