RevComp Software Subgroup

Software subprojects:

Reversible programming systems (architectures, languages, emulators, compilers, debuggers) (goals 1, 2, 3, paper, overview)

Collaborators: Carlin Vieri, Dave Small.  Current students: Andrew Dickinson, Shawn Outman.  Past students: Steve Lewis, Waishan Lau, Christian Roberson, Matt DeBergalis, Charles Vermette Potential collaborators: Chris Carothers (Renssalaer), Antonio Gentile (Italy). Past collaborators: Tom Knight, Norm Margolus, Scott Rixner.

Systems: JIMSwing, a GUI Reversible MIPS Debugger

Reversible algorithms (goal)

Current students:  Andrew Dickinson.  Past collaborators: Josie Ammer

Locally Hosted Resources:

JANUS, Lutz & Derby's Reversible Language

Chris Lutz and Howard Derby created the first known high-level reversible language, called JANUS, in 1982 at Caltech. Here is an HTML reproduction of a letter describing the language that Lutz wrote to Rolf Landauer in 1986.

Potential future projects that haven't been started:

Programming language for physical algorithms (goal)