Claims: A LaTeX package for proof carrying papers. Tag natural language claims in your paper and provide mechanical verifiers for these claims. Never submit an embarrassing mistake again!

JMeter Seeded Controller: Random controller for JMeter that accepts a random seed. Good for reproducible testing.

Simple Servlet Model generation and library stubs for servlet based applications. Simple servlet generates a main method that simulates the complete lifetime of a servlet application and instantiates servlets, filters, etc. It also includes a set of library stubs that completely capture the behavior the Servlet 2.5 specification.

I have also contributed to open-source analysis frameworks, including Soot, Heros, and Boomerang.