Bug-detection

Toward Easy Parallel Programming

The Royal Society International Collaboration Grant, PI, 03/2020 - 03/2022

Software Bug Detection and Fix Generation by Learning from Large Code Examples

The Royal Society International Collaboration Grant, PI, 03/2017 - 03/2019