• 강사 : 허기홍 교수 (KAIST 전산학부)
• 일시 : 2023. 9. 25 (월) 16:00~17:30

이 강연에서는 SW오류 탐지을 위한 프로그램 분석 기술을 소개하고, AI와 데이터를 활용하여 그 성능을 높인 경험을 공유한다.
프로그램 분석은 프로그램을 실행하지 않고 그 의미를 예측하는 기술로서 오류 탐지를 비롯한 여러 분야에 쓰이고 있다.
허나 현대 소프트웨어가 점점 커지고 복잡해지면서, 순수하게 논리에 기반한 전통적인 방식으로는 분석의 성능을 확보하기 어렵게 되었다.
이를 극복하기 위해 본 연구실에서는 AI와 데이터를 활용한 프로그램 분석 기술을 개발하고 있다.
이 강연에서는 오류의 연관성과 유사성을 활용한 최근의 연구 사례를 소개하고 향후 발전 방향을 논의한다.

* 강연자료