Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia

The paper “SemFix: Program Repair via Semantic Analysis” written a decade ago, suggested the use of symbolic program analysis techniques to automatically repair code. Conceptually this work gave a new direction to use symbolic execution for specification inference. These techniques are useful for security vulnerability repair, intelligent tutoring for teaching of programming, and for improvement of automatically generated code, which is becoming increasingly relevant.

Abhik Roychoudhury is a Provost’s Chair Professor of Computer Science at the National University of Singapore. Abhik’s research focuses on software testing and analysis and software security. He was awarded the IEEE TCSE New Directions Award for contributions to symbolic execution, and was also involved in setting up Singapore Cybersecurity Consortium for industry-academia collaboration.

Satish Chandra is a researcher at Google, where he applies machine learning to improve developer productivity. The projects he has led have had significant industrial impact: such as his work at Meta on ML-inspired techniques for automated bug fixing and code search.

Thu 18 May

Displayed time zone: Hobart change

15:45 - 17:15
MIP Award / SIGSOFT Outstanding Award / Harlan D. MIlls AwardMost Influential Paper ICSE N-10 at Level G - Plenary Room 1
Chair(s): John Grundy Monash University
Harlan D. Mills Award talk
Most Influential Paper ICSE N-10
I: David Harel Weizmann Institute of Science, Israel, S: Paolo Tonella USI Lugano
File Attached
MIP Award talk
Most Influential Paper ICSE N-10
I: Abhik Roychoudhury National University of Singapore, S: Betty H.C. Cheng Michigan State University, S: Klaus Pohl University of Duisburg-Essen, paluno, Germany
SIGSOFT Outstanding Research Award talk
Most Influential Paper ICSE N-10
I: Gail Murphy University of British Columbia, S: David Lo Singapore Management University