PROJECTS

Petablox
declarative program analysis for Big Code

Nichrome
solver for mixed hard and soft constraints

CirrusCloud
a mobile-cloud computing platform

Prism
configurable program analysis

Dynodroid
automated testing of smartphone apps

Chord
a program analysis platform for Java

Conchord
analysis of concurrent programs