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.

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