This page lists some projects I am currently working on, or have worked on previously.
FindBugs
My main research interest is static program analysis to find bugs in software. As part of my Ph.D. research with Bill Pugh at the University of Maryland, I helped develop the FindBugs static analysis tool which you can use to find many kinds of bugs common in Java programs.
The Thud Programming Language
Thud is a dynamic object-oriented programming language inspired by Java and Ruby. The implementation is in a fairly early stage, but the execution of simple programs is working.
Website: http://code.google.com/p/thud-lang
GeekOS
With Jeff Hollingsworth and Bobby Bhattacharjee I helped develop the GeekOS instructional operating system kernel that is now used in courses at a number of colleges and universities. If you're teaching an operating system course you might consider using GeekOS for projects. It comes with a full sequence of projects where students add major subsystems to the GeekOS kernel. GeekOS runs on the Bochs PC emulator, and can be hosted by Linux, FreeBSD, and Windows systems.
Marmoset
I have also worked on the Marmoset project led by Jaime Spacco and Bill Pugh. If you teach courses involving programming assignments, you might consider using Marmoset, since it can make the course more rewarding for both students and instructors.
