Most of the software I have contributed to is available below.
- Petablox: declarative program analysis framework for Big Code
- Nichrome: solver for mixed hard and soft constraints
- SQLtutor: a browser-based tool for teaching and learning SQL
- Chord: program analysis platform for Java
- Acteve: dynamic symbolic execution engine for Android apps
- Dynodroid: automated input generation tool for Android apps