Episode 379: Claire Le Goues on Automated Program Repair

Existing Tools

Current tools for automated program repair are mostly research prototypes, not yet ready for widespread deployment. Claire Le Goues explains that while some tools can be downloaded and experimented with, they require a specific setup and are not open-sourced by industry leaders like Facebook 1. She notes that IDEs offer basic bug-fixing suggestions, but these lack the depth of true automated repair techniques 2.

We're somewhere in the middle. There are a number of research prototypes that are available that can be downloaded.

--- Claire Le Goues

Despite these limitations, ongoing research aims to enhance the semantic richness of these tools, making them more meaningful and useful for developers.

   

Industry Applications

In industry, automated program repair is gradually being integrated, with companies like Facebook leading the way. Claire Le Goues highlights the importance of automated testing and continuous integration for effective program repair, emphasizing that a robust test suite is crucial 3. She also mentions the role of static checkers and linters in improving code quality, which can aid in identifying and fixing bugs 4.

There are definitely things that we can do. In particular, it's not just the existence of tests that's important, but the automation of tests.

--- Claire Le Goues

Additionally, modern development practices like containerization and microservices are making it easier to apply program repair techniques safely and efficiently 5.