9/25 AI 기반 프로그램 오류 분석 (허기홍 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2023-09-18 09:32
조회
1918
- 강사 : 허기홍 교수 (KAIST 전산학부)
- 일시 : 2023. 9. 25 (월) 16:00~17:30
프로그램 분석은 프로그램을 실행하지 않고 그 의미를 예측하는 기술로서 오류 탐지를 비롯한 여러 분야에 쓰이고 있다.
허나 현대 소프트웨어가 점점 커지고 복잡해지면서, 순수하게 논리에 기반한 전통적인 방식으로는 분석의 성능을 확보하기 어렵게 되었다.
이를 극복하기 위해 본 연구실에서는 AI와 데이터를 활용한 프로그램 분석 기술을 개발하고 있다.
이 강연에서는 오류의 연관성과 유사성을 활용한 최근의 연구 사례를 소개하고 향후 발전 방향을 논의한다.
* 강연자료
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 3690
|
kaistsoftware | 2024.02.21 | 1 | 3690 |
110 |
10/30 사모펀드의 이해 - 펀드구성과 투자구조를 중심으로 (최원호 교수/KAIST 전산학부)
kaistsoftware
|
2023.10.26
|
추천 0
|
조회 1983
|
kaistsoftware | 2023.10.26 | 0 | 1983 |
109 |
10/23 Robotic Companion: natural language to dexterous manipulation (박대형 교수/KAIST 전산학부)
kaistsoftware
|
2023.10.20
|
추천 0
|
조회 1911
|
kaistsoftware | 2023.10.20 | 0 | 1911 |
108 |
9/25 AI 기반 프로그램 오류 분석 (허기홍 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 1918
|
kaistsoftware | 2023.09.18 | 0 | 1918 |
107 |
9/18 Thinking outside the box of OS system design (권영진 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 2058
|
kaistsoftware | 2023.09.18 | 0 | 2058 |
106 |
9/11 Finding and Fixing Vulnerabilities in Blockchain Networks (강민석 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 2208
|
kaistsoftware | 2023.09.18 | 0 | 2208 |
105 |
9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.04
|
추천 0
|
조회 2413
|
kaistsoftware | 2023.09.04 | 0 | 2413 |
104 |
2023년 가을학기 콜로퀴엄 일정 안내
kaistsoftware
|
2023.08.28
|
추천 0
|
조회 4735
|
kaistsoftware | 2023.08.28 | 0 | 4735 |
103 |
5/8 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부)
kaistsoftware
|
2023.05.02
|
추천 0
|
조회 3573
|
kaistsoftware | 2023.05.02 | 0 | 3573 |
102 |
(5/1(월) -> 5/2(화) 변경) Towards A Universal Few-Shot Learner for Computer Vision (홍승훈 교수/KAIST 전산학부)
kaistsoftware
|
2023.04.28
|
추천 0
|
조회 2710
|
kaistsoftware | 2023.04.28 | 0 | 2710 |
101 |
4/24 3D Hand Pose Estimation (김태균 교수/KAIST 전산학부)
kaistsoftware
|
2023.04.21
|
추천 0
|
조회 2769
|
kaistsoftware | 2023.04.21 | 0 | 2769 |