Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Tue 16 May 2023 15:35 - 15:50 at Meeting Room 104 - Afternoon session1

Type systems and type inference systems can be used to help text and code generation models like GPT-3 produce more accurate and appropriate results. These systems provide information about the types of variables, functions, and other elements in a program or codebase, which can be used to guide the generation of new code or text. For example, a code generation model that is aware of the types of variables and functions being used in a program can generate code that is more likely to be syntactically correct and semantically meaningful. We argue for the specialization of language models such as GPT-3 for automatic program repair tasks, incorporating type information in the model’s learning process. A trained language model is expected to perform better by understanding the nuances of type systems and using them for program repair, instead of just relying on the general structure of programs.

Tue 16 May

Displayed time zone: Hobart change

13:45 - 15:15
Afternoon session1APR at Meeting Room 104
Program Repair Competition
Ridwan Salihin Shariffdeen National University of Singapore, Martin Mirchev National University of Singapore, Abhik Roychoudhury National University of Singapore
Panel Discussion: Future of APR: Challenges and directions
Manish Motwani Georgia Institute of Technology, Xuan Bach D. Le The University of Melbourne, Abhik Roychoudhury National University of Singapore, Yingfei Xiong Peking University, Lingming Zhang University of Illinois at Urbana-Champaign
FixEval: Execution-based Evaluation of Program Fixes for Programming Problems
Md Mahim Anjum Haque Virginia Tech, Wasi Uddin Ahmad University of California, Los Angeles, Ismini Lourentzou Virginia Tech, Chris Brown Virginia Tech
Beyond Code Generation: The Need for Type-Aware Language Models
Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, José Nuno Macedo University of Minho, Kanae Tsushima National Institute of Informatics, Japan