Current Projects

Petablox
declarative program analysis for Big Code

Nichrome
solver for mixed hard and soft constraints

Former Projects

CirrusCloud
a mobile-cloud computing platform

Prism
configurable program analysis

Chord
a program analysis platform for Java

Dynodroid
automated testing of smartphone apps

Conchord
analysis of concurrent programs