Reversible Computing References List

		   MIT Reversible Computing Project
	       http://www.ai.mit.edu/~mpf/rc/home.html

This file is an attempt to keep track of our various reversible
computing references; which ones we have, which are in the refs.bib
file, which ones I've looked at, which ones I want to look at more,
and what topical categories the various papers are in.

Items that are not in the refs.bib file and that we do not have copies
of may have their full references listed in the refs.txt file.

Notations:
----------
  o	Item is already bibliographied/possessed/read.
  -	Not done.
  []	Not done, To Do (supposed to suggest an empty check-box).
  x	Never mind doing this.
  ~	Reference was skimmed but not read thoroughly.
(empty) Nobody has bothered to record the status of this item.

I'm trying to order the topics roughly in order of how central they
are to our project.

Carlin, feel free to add a column "cvieri read" to keep track of which
papers you've read or want to read.

                                                In              mpf
Author, Year, Title (truncated).                Bib     Have    read
-------------------------------------------     ----    ----    ----

Our Work
----------------------------------------------------------------------
Vieri '95, Pendulum: A Reversible Computer	o	o	o
Frank & Rixner '96, Tick: A Simple Reversib		o	o
----------------------------------------------------------------------

SCRL
----------------------------------------------------------------------
Younis '94, Asymptotically Zero Energy Comp	o	o	
Younis & Knight '93, Practical Implementati	o	o	o
Younis & Knight '94, Asymptotically Zero En	o	o	o
Younis & Knight '95, Harmonic Resonant Rail	o		
Younis & Knight '96, Non-Dissipative Rail D
Knight & Younis, Switchless Rail Drivers fo		o	o
----------------------------------------------------------------------

Adiabatic Circuits
(This category is getting big... Wonder if we could subdivide it.)
----------------------------------------------------------------------
Athas et al. '94, Low-Power Digital Systems		o	
Athas et al. '96, A Resonant Signal Driver		o	
Athas et al., A Framework for Practical Low		o	
Athas et al., A Resonant Clock Driver for T		o	
De & Meindl '96, Complementary Adiabatic an
De & Meindl '96, A Dynamic Energy Recycling		o	
Denker et al. '94, Adiabatic Computing with	o		
Dharmasena & Svensson '96, Startup energies		o	
Frank '96, Comparison of High Speed Voltage
Hall '92, An Electroid Switching Model for	o
Hinman & Schlecht '94, Power Dissipation Me
Hinman & Schlecht '94, Recovered Energy Log	o		
Indermaur & Horowitz, Evaluation of Charge	o		
Knapp et al., Implementing and Evaluating		o
Koller & Athas '92, Adiabatic Switching, Lo	o		
Kramer et al. '94, Adiabatic Computing with
Kramer et al. '95, 2nd order adiabatic comp
Koller et al. '94, Thermal Logic Circuits.		o	
Moon & Jeong '95, Efficient Charge Recovery
Patra & Fussell, Asymptotically Zero Power		o
Patra '95, Asymptotically Zero Power in Rev		o	
Solomon & Frank '94, The case for reversibl
Solomon & Frank '95, Power Measurements of	o	o	
Stan & Burleson '95, Low-power CMOS Clock D		o
Svensson & Koller, Adiabatic charging witho		o	
Tzartzanis & Athas '95, Design and Analysis		o	
Tzartzanis & Athas '96, Energy Recovery for		o	
Wang & Lau '95, Adiabatic pseudo-domino log		o	
Watkins '67, A Low-Power Multiphase Circuit		o	~
----------------------------------------------------------------------

Reversible Computation Theory
----------------------------------------------------------------------
Bennett '73, Logical Reversibility of Compu	o	o	o
Bennett '88, Notes on the history of revers	o	o
Bennett '89, Time/Space Trade-offs for reve	o	o	o
Crescenzi & Papadimitriou '95, Reversible S		o
Levine & Sherman '90, A Note on Bennett's T	o	o	o
Li & Vitanyi '96a, Reversible simulation of	o	o	o
Li & Vitanyi '96b, Reversibility and adiaba	o	o	o
----------------------------------------------------------------------

Reversible Processors
----------------------------------------------------------------------
Ressler '79, Practical Circuits Using Conve	o	o	o
Ressler '81, The Design of a Conservative L	o	o	[]
Barton '78, A Reversible Computer Using Con		o
----------------------------------------------------------------------

Reversible Instruction Sets & Languages
----------------------------------------------------------------------
Adams '96, A Parallel Reversible Knowledge		o	o
Baker '92b, NREVERSAL of Fortune---The Ther	o	o	o
Baker '92a, Lively Linear Lisp---`Look Ma,	o	o	o
Hall '94, A Reversible Instruction Set Arch	o	o	o
----------------------------------------------------------------------

Reversible Logic
----------------------------------------------------------------------
Fredkin & Toffoli '78, Design Principles fo	o	o
Hall '94, Nanocomputers and Reversible Logi		o
Toffoli '80, Reversible Computing.			o	o
Merkle '92, Towards Practical Reversible Lo	o
Merkle '93, Two types of mechanical reversi		o
Merkle '93, Reversible electronic logic usi		o
----------------------------------------------------------------------

Reversible Computing Elements
----------------------------------------------------------------------
Likharev & Korotkov '96, Single-Electron Pa		o	o
----------------------------------------------------------------------

Reversible Cellular Automata
----------------------------------------------------------------------
Toffoli '77, Computation and Construction U	o	o	[]
----------------------------------------------------------------------

Speculative Execution
----------------------------------------------------------------------
Knight '90, An Architecture for Mostly Func	o	o	o
----------------------------------------------------------------------

Conservative Logic
----------------------------------------------------------------------
Chang '82, Magnetic Bubble Conservative Log		o
Fredkin & Toffoli '82, Conservative Logic.	o	o
----------------------------------------------------------------------

Thermodynamics of Computation
----------------------------------------------------------------------
Baker '94, Thermodynamics and Garbage Colle		o	o
Bennett '82, The Thermodynamics of Computat	o	o
Bennett '84, Thermodynamically Reversible C		o
Bennett & Landauer '85, The Fundamental Phy		o	o
Bennett et al. '89, Thermodynamics of Compu		o
Bennett et al. '93, Thermodynamics of Compu		o
Landauer '61, Irreversibility and Heat Gene	o	o
Landauer '82, Uncertainty Principle and Min	o	o
Likharev '82, Classical and Quantum Limitat	o	o
Zurek '86. [irrev. & quantum measuremt.]			[]
Zurek '89, Thermodynamic cost of computatio		o
----------------------------------------------------------------------

Physics of Computation
----------------------------------------------------------------------
Fredkin, A Physicist's Model of Computation		o
Hillis '82, New Computer Architectures and		o	o
Kak '95, Information, Physics and Computati		o
Landauer '86, Computation: A Fundamental Ph	o	o
Margolus '88, Physics and Computation.		o	o
Margolus '96, The maximum speed of dynamica		o	o
Toffoli '82, Physics and Computation.
----------------------------------------------------------------------

Information Mechanics
----------------------------------------------------------------------
Kantor '82, An Informal Partial Overview of		o
----------------------------------------------------------------------

Simulating Quantum Mechanics
----------------------------------------------------------------------
Boghosian & Taylor '96, A Quantum Lattice-G		o
Meyer '95, From Quantum Cellular Automata t		o	o
Meyer '96, Unitarity in One Dimensional Non		o	o
----------------------------------------------------------------------

Quantum Computation
(Also see Mike's Quantum Computing bibliography.)
----------------------------------------------------------------------
Chuang & Yamamoto '95, Quantum Bit Regenera	o	o
Feynman '86, Quantum Mechanical Computers.	o	o	o
Grover, How hard is to search an unsorted d		o
Margolus '90, Parallel Quantum Computation.		o
Peres '85, Reversible logic and quantum com		o
Shor '94, Algorithms for Quantum Computatio	o	o	o
----------------------------------------------------------------------

Thermodynamics
----------------------------------------------------------------------
Gyftopoulos '93, Can an Omnipotent Maxwelli		o	
Maxwell 1875, Theory of Heat			o
Leff & Rex '90, Maxwell's demon: entropy, i	o	o
Lubkin '87, Keeping the Entropy of Measurem		o
Szilard '29, On the Decrease of Entropy in	o
Zurek, Maxwell's Demon, Szilard's Engine an		o
----------------------------------------------------------------------

Computer Architecture
----------------------------------------------------------------------
Kane & Heinrich '92, MIPS RICS Architecture	o
Patterson & Hennessy '90, Computer Architec	o	o
Patterson & Hennessy '93, Computer Organiza	o
----------------------------------------------------------------------

Molecular Computation
----------------------------------------------------------------------
Schneider '91, Theory of Molecular Machines.		o	o
Schneider '93, Sequence Logos, machine/chan		o	o
----------------------------------------------------------------------

Infinite-Precision Arithmetic
----------------------------------------------------------------------
Boehm et al. '86, Exact Real Arithmetic: A		o	o
Vuillemin '90, Exact Real Computer Arithmet		o
Wiedmer '80, Computing with Infinite Object		o
----------------------------------------------------------------------

Not Yet Categorized
----------------------------------------------------------------------
Braginski '91, High Temperature Josephson D		o
Chaitin '82, Godel's Theorem and Informatio		o
Danilov et al. '77, Limit Characteristics o		o
Feynman '82, Simulating Physics with Comput		o
Goto et al. '91, Physical Limits to Quantum		o
Landauer '80, Phase Transition Waves: Solit		o
Landauer '88, Dissipation and noise immunit		o
Landauer '93, Comment on "Physical Limits t		o
Petri '82, State-Transition Structures in P		o
Vieri '95, SOIAS: Dynamically Variable Thre		o
von Neumann '66, in Theory of Self-Reproduc	o
Waymer '94, Silicon in Reverse.			o
Danielson '86, Cooling a Superfast Computer		o
----------------------------------------------------------------------