Old Projects

Old Projects

I'm no longer actively working on these projects.

Abettor Interfacing System for ACL2 (2004)
A Java based client/server framework for connecting external tools to an ACL2 sessions, enabling the use of graphical tools for interacting with ACL2. Note: this never really went anywhere.
Feature Oriented Graphical User Interfaces (2004)
A class project for Don Batory's "Feature-Oriented Programming" class. FOG is a framework for developing feature oriented product lines for graphical programs with a consistent interface across all products. In support of this framework, FOG includes a declarative specification language for constructing Java Swing interfaces, an interpreter and preview tool for dynamically loading these interfaces, and a static compiler for translating these interfaces into real Java files.
The SSP: An Example of High-Assurance Systems Engineering (2002/2003)
A project I worked on as an intern at Sandia National Labs as an undergrad. The SSP is a hardware implementation of a restricted subset of the JVM. I focused on verifying the conversion from classfiles to ROM images through testing, and on modelling the behavior of the chip with ML and ACL2 simulators. In the end, the paper was accepted at HASE 2004.
Aiksaurus (2001)   [ online demo ]
A free and portable English-language thesaurus I created on in my spare time during my undergrad days. I don't work on this anymore, but I'm the original author of the library itself and several interfaces to it (text, GTK, PHP (visible in the online demo), and a preliminary QT interface). Since then, other volunteers have added interfaces from Windows, MacOS, and Java. It's now maintained by some kind folks from the AbiWord project (for which it was originally written, and is now available as a plugin.) Debian users can simply apt-get aiksaurus (and optionally gaiksaurus, for a graphical interface).
Research Wizard (2000/2001)
I worked in the Systems department at the UNO Library during my undergrad. As part of that work, I developed the Research Wizard, a system enabling librarians to dynamically update the Library's web site with new research materials and classify these materials. This work received the American Library Association's Gale Group Award in 2001, but appears to no longer be in use.