Automated program repair
I work on combining program analysis and machine learning to find and fix software defects. Two projects I’ve worked on with colleagues are DR. FIX and FixrLeak.
DR. FIX
DR. FIX addresses data races in Go programs. The work looks at automatically generating fixes and applying them in a production development workflow.
FixrLeak
FixrLeak addresses resource leaks in Java. It uses program analysis to identify cases where a resource can be closed within a method, then uses a language model to generate a fix. The workflow includes building the code, running tests, and having developers review the proposed changes.