Repairing Programs with Semantic Code Search

All software has bugs. This talk presents an approach to patching bugs that is not prone to overfitting (at least compared to prior approaches).