During the course of research, we have developed and released the following software.

Machine Learning for Software Engieering

Concurrency and Distribution

Program Analysis and Verification