May 7-10, 2017 Asilomar, California

Program Distances for Repair and More!

Roopsha Samanta

Automated program repair techniques typically aim to compute a syntactically minimal or small fix to an incorrect program. However, programs that are synactically close may differ significantly in their behaviors. We propose the use of program distances that can quantify changes not only to the program syntax but also to the program semantics to drive program repair. I will present a solution strategy and tool - Qlose (Quantitatively close) - to this "quantitative program repair" problem.

I will also describe our current efforts to extend Qlose and discuss how program distances can be used to drive applications beyond repair.