Software

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

Trustworthy and Deployable Machine Learning

Machine Learning for Software Engieering

Concurrency and Distribution

Program Analysis and Verification