Program Synthesis can do some rudimentary fixes. But I would love to explore this problem of program correction using AI.