9/25 AI 기반 프로그램 오류 분석 (허기홍 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2023-09-18 09:32
조회
1903
- 강사 : 허기홍 교수 (KAIST 전산학부)
- 일시 : 2023. 9. 25 (월) 16:00~17:30
프로그램 분석은 프로그램을 실행하지 않고 그 의미를 예측하는 기술로서 오류 탐지를 비롯한 여러 분야에 쓰이고 있다.
허나 현대 소프트웨어가 점점 커지고 복잡해지면서, 순수하게 논리에 기반한 전통적인 방식으로는 분석의 성능을 확보하기 어렵게 되었다.
이를 극복하기 위해 본 연구실에서는 AI와 데이터를 활용한 프로그램 분석 기술을 개발하고 있다.
이 강연에서는 오류의 연관성과 유사성을 활용한 최근의 연구 사례를 소개하고 향후 발전 방향을 논의한다.
* 강연자료
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 3615
|
kaistsoftware | 2024.02.21 | 1 | 3615 |
120 |
5/7 지향성 프로그램 분석 (허기홍 교수/KAIST 전산학부)
kaistsoftware
|
2024.04.23
|
추천 0
|
조회 155
|
kaistsoftware | 2024.04.23 | 0 | 155 |
119 |
4/23 사모투자의 이해 (최원호 교수/KAIST 전산학부)
kaistsoftware
|
2024.04.18
|
추천 0
|
조회 219
|
kaistsoftware | 2024.04.18 | 0 | 219 |
118 |
4/2 LLM 기반 소프트웨어 공학의 현재와 전망 (유신 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.25
|
추천 0
|
조회 516
|
kaistsoftware | 2024.03.25 | 0 | 516 |
117 |
3/26 하드웨어도 소프트웨어처럼 짜야한다 (강지훈 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.21
|
추천 0
|
조회 523
|
kaistsoftware | 2024.03.21 | 0 | 523 |
116 |
3/19 자율주행과 안전 (배홍상 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.11
|
추천 0
|
조회 680
|
kaistsoftware | 2024.03.11 | 0 | 680 |
115 |
3/12 에너지 효율적인 인공지능 학습 시스템 (권영진 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.05
|
추천 0
|
조회 831
|
kaistsoftware | 2024.03.05 | 0 | 831 |
114 |
2/27 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부)
kaistsoftware
|
2024.02.27
|
추천 0
|
조회 1409
|
kaistsoftware | 2024.02.27 | 0 | 1409 |
113 |
11/20 Where is Autonomous Driving going? Boss, Traffic Jam Pilot, and the Future (배홍상 교수/KAIST 전산학부, Zeta Mobility)
kaistsoftware
|
2023.11.16
|
추천 1
|
조회 2776
|
kaistsoftware | 2023.11.16 | 1 | 2776 |
112 |
11/14 데이터 품질 문제에 견고한 AI 기술 (이재길 교수/KAIST 전산학부)
kaistsoftware
|
2023.11.16
|
추천 1
|
조회 1904
|
kaistsoftware | 2023.11.16 | 1 | 1904 |
111 |
11/6 인터랙션 중심 AI (김주호 교수/KAIST 전산학부)
kaistsoftware
|
2023.11.01
|
추천 0
|
조회 1967
|
kaistsoftware | 2023.11.01 | 0 | 1967 |