Abstract

The issues involved in reverse computations at the level of logic design
(Fredkin gates) and reversible Turing machines can be found as early as 1985 in
an article that appeared in Scientific American.  A discussion of reversible
procedures at the other extreme of higher symbolic logic levels appears in July
1987 issue of Software Practice and Experience (using an example involving
scoreboards for popular sports)

Recently, much of the work on reversible computing focus on development of new
technologies so as to minimize heat dissipation thereby overcoming physical
limitations of packing components into small chips.  In this presentation, the
approach to reversibility at the machine language level is discussed.  The
focus is upon instruction set design and associated machine language
programming techniques.  Sample programs run on a simulator developed as proof
of concept for a reversible system demonstrates the viability of reversible
programs and possible application areas.

About the Speaker

Dr.Ruknet Cezzar is currently retired, except for work associated with his
own company, Rev-Computers, Inc.  Until May
of 2005, he was an associate faculty member of the Department
of Computer Science, Hampton University.
Prior to joining Hampton University faculty, he had been on loan from
AT&T Bell Laboratories as a visiting professor.

During his tenure at Hampton University, Dr. Cezzar has been a PI in
research projects with NASA (Langley and Glen Research Centers) on
parallelization of software for planetary probes and optimization of rocket
engine system simulators.  He has also been a research faculty in the
development of learning tools for software engineering courses.

While at AT&T, Dr. Cezzar worked as a team member of a large-scale
software development project TOPAS (Testing Operations Provisioning
Administration System) for use by AT&T's toll offices.	His industrial
work experience include work for Grumman Corporation in the development
of a proprietary real-time software for robotic workstations; and work for
the City of New York on development and maintenance of MIS applications.

Dr. Cezzar holds a Ph.D. in Computer Science from Polytechnic University,
Brooklyn, New York (1982), Master of Science in Industrial Engineering,
the University of Michigan, Ann Arbor, Michigan (1970), and Bachelor of
Engineering in Industrial Engineering from the Ohio State University,
Columbus, Ohio, (1968).