5/7 지향성 프로그램 분석 (허기홍 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2024-04-23 16:55
조회
329
- 강사 : 허기홍 교수 (KAIST 전산학부)
- 일시 : 2024. 5. 7 (화) 16:00~17:30
소규모 인원이 단발성으로 개발하는 것이 아니라, 대규모 인원이 지속적으로 코드를 수정하면서 시시각각 변한다.
따라서 소프트웨어가 오류 없이 안전하게 동작하는지 검사하는 문제는 갈수록 중요해지는 것과 동시에 상당히 어려워지고 있다.
이번 강연에서는 이처럼 크고 변화무쌍한 소프트웨어의 오류 문제를 해결하기 위한 목표 지향성 프로그램 분석 기술을 소개한다.
전통적인 프로그램 분석 기술은 프로그램 전체를 대상으로 안전성을 검사한다.
반면, 목표 지향성 프로그램 분석은 상황에 맞는 목표(예: 최근 커밋, 최신 보안 문제 등)를 그때그때 선정하여 빠르고 효율적으로 안전성을 분석하는 것을 목표로 한다.
강연에서는 이러한 목표 지향성 프로그램 분석의 개념과 응용 사례, 그리고 핵심 기술을 소개한다.
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 4024
|
kaistsoftware | 2024.02.21 | 1 | 4024 |
90 |
10/31 굿 디자인 원리, 사례, 방법 (남택진 교수/KAIST 산업디자인학과)
kaistsoftware
|
2022.10.25
|
추천 0
|
조회 3908
|
kaistsoftware | 2022.10.25 | 0 | 3908 |
89 |
10/24 개발자 보안-대기업 사례를 중심으로 (김용대 교수/KAIST 전기및전자공학부)
kaistsoftware
|
2022.10.25
|
추천 0
|
조회 3552
|
kaistsoftware | 2022.10.25 | 0 | 3552 |
88 |
9/26 Efficient SmartNIC offload to accelerate PM-based distributed file system (권영진 교수/KAIST 전산학부)
kaistsoftware
|
2022.09.22
|
추천 0
|
조회 4266
|
kaistsoftware | 2022.09.22 | 0 | 4266 |
87 |
9/19 감염병 대응을 위한 데이터 사이언스 연구 (이재길 교수/KAIST 전산학부)
kaistsoftware
|
2022.09.15
|
추천 0
|
조회 4668
|
kaistsoftware | 2022.09.15 | 0 | 4668 |
86 |
9/5 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부)
kaistsoftware
|
2022.09.01
|
추천 0
|
조회 5414
|
kaistsoftware | 2022.09.01 | 0 | 5414 |
85 |
2022년 가을학기 콜로퀴엄 일정 안내
kaistsoftware
|
2022.09.01
|
추천 0
|
조회 6701
|
kaistsoftware | 2022.09.01 | 0 | 6701 |
84 |
6/9 Discourse and Interactions in a Real World (안소연 교수/KAIST 디지털인문사회과학부)
kaistsoftware
|
2022.06.03
|
추천 0
|
조회 5882
|
kaistsoftware | 2022.06.03 | 0 | 5882 |
83 |
6/2 웹(WWW)의 과거, 현재, 그리고 미래 (고인영 교수/KAIST 전산학부)
kaistsoftware
|
2022.05.27
|
추천 0
|
조회 6231
|
kaistsoftware | 2022.05.27 | 0 | 6231 |
82 |
5/26 R&BD를 위한 3T(TRM/TT/TRIZ) 연계방법론 (이상국 교수/가톨릭대학교 미디어기술콘텐츠학과)
kaistsoftware
|
2022.05.23
|
추천 0
|
조회 6054
|
kaistsoftware | 2022.05.23 | 0 | 6054 |
81 |
5/19 정밀의료를 위해서 인공지능이 정말로 뭘 할까? (신현정 교수/아주대학교 산업공학과)
kaistsoftware
|
2022.05.17
|
추천 0
|
조회 5334
|
kaistsoftware | 2022.05.17 | 0 | 5334 |