Program Repair;Program Synthesis;Software Testing;Program Specification and Verification;Neuro-symbolic program repair;Intelligent tutoring systems;자동 버그 탐색;자동 패치 생성;프로그래밍 언어;소프트웨어
Lab Description
In PLaSE (Programming Languages and Software Engineering Lab), we are developing cutting-edge technologies to make software more reliable, secure and efficient in an automated manner. In other words, we are developing <> that performs various tasks, most notably, • automatic bug detection, and• automatic patch generation. We are also conducting research on <>, an AI-system that helps students learn how to programming by providing useful feedback automatically.