Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022

Automated program repair (APR) techniques have received much attention and APR tools have promising results in repairing real-world bugs, but what are APR’s limits? Knowing the answer to this question could help researchers design trade-offs for APR tools and manage user expectations. Since APR as a whole is undecidable, as are two of its typical phases, one must use conservative approximations. Conservative approximations can help APR tools be better understood and can lead to a theory of sound APR.

Thu 19 May

Displayed time zone: Eastern Time (US & Canada) change

09:45 - 10:00
Be Realistic: Automated Program Repair is a Combination of Undecidable ProblemsAPR at APR room
09:45
5m
Talk
Be Realistic: Automated Program Repair is a Combination of Undecidable Problems
APR
Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida
09:50
10m
Live Q&A
Q&A
APR


Information for Participants