5/7 지향성 프로그램 분석 (허기홍 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2024-04-23 16:55
조회
349
- 강사 : 허기홍 교수 (KAIST 전산학부)
- 일시 : 2024. 5. 7 (화) 16:00~17:30
소규모 인원이 단발성으로 개발하는 것이 아니라, 대규모 인원이 지속적으로 코드를 수정하면서 시시각각 변한다.
따라서 소프트웨어가 오류 없이 안전하게 동작하는지 검사하는 문제는 갈수록 중요해지는 것과 동시에 상당히 어려워지고 있다.
이번 강연에서는 이처럼 크고 변화무쌍한 소프트웨어의 오류 문제를 해결하기 위한 목표 지향성 프로그램 분석 기술을 소개한다.
전통적인 프로그램 분석 기술은 프로그램 전체를 대상으로 안전성을 검사한다.
반면, 목표 지향성 프로그램 분석은 상황에 맞는 목표(예: 최근 커밋, 최신 보안 문제 등)를 그때그때 선정하여 빠르고 효율적으로 안전성을 분석하는 것을 목표로 한다.
강연에서는 이러한 목표 지향성 프로그램 분석의 개념과 응용 사례, 그리고 핵심 기술을 소개한다.
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 4065
|
kaistsoftware | 2024.02.21 | 1 | 4065 |
60 |
5/20 GPU 컴퓨팅 기반의 빅 데이터 고속 분석 기술 (김민수 교수/카이스트 전산학부)
kaistsoftware
|
2021.05.14
|
추천 0
|
조회 6443
|
kaistsoftware | 2021.05.14 | 0 | 6443 |
59 |
5/13 ML-guided JavaScript Engine Fuzzing and Bug Classification (손수엘 교수/카이스트 전산학부)
kaistsoftware
|
2021.05.06
|
추천 0
|
조회 6992
|
kaistsoftware | 2021.05.06 | 0 | 6992 |
58 |
5/6 기술로 어떻게 감동적 즐거움을 디자인하나? (이우훈 교수/카이스트 산업디자인학과)
kaistsoftware
|
2021.04.30
|
추천 0
|
조회 6432
|
kaistsoftware | 2021.04.30 | 0 | 6432 |
57 |
4/29 인공지능을 이용한 스토리 생성과 이해 (배병철 교수/홍익대 게임학부)
kaistsoftware
|
2021.04.27
|
추천 0
|
조회 7068
|
kaistsoftware | 2021.04.27 | 0 | 7068 |
56 |
4/15 Embodied AI: Human-Centered Robotics (박대형 교수/카이스트 전산학부)
kaistsoftware
|
2021.04.09
|
추천 0
|
조회 6916
|
kaistsoftware | 2021.04.09 | 0 | 6916 |
55 |
4/8 3D Deep Learning – Toward Learning the Compositional Structure in 3D Shapes (성민혁 교수/카이스트 전산학부)
kaistsoftware
|
2021.04.07
|
추천 0
|
조회 6914
|
kaistsoftware | 2021.04.07 | 0 | 6914 |
54 |
4/1 AI 언어모델 트렌드 2021 (서민준 교수/카이스트 AI대학원)
kaistsoftware
|
2021.03.31
|
추천 0
|
조회 7722
|
kaistsoftware | 2021.03.31 | 0 | 7722 |
53 |
3/25 개발자와 상호작용하는 쌍방향 정적 분석 시스템 (허기홍 교수/카이스트 전산학부)
kaistsoftware
|
2021.03.19
|
추천 0
|
조회 7081
|
kaistsoftware | 2021.03.19 | 0 | 7081 |
52 |
3/18 Evolutions of distributed file system (권영진 교수/카이스트 전산학부)
kaistsoftware
|
2021.03.17
|
추천 0
|
조회 6267
|
kaistsoftware | 2021.03.17 | 0 | 6267 |
51 |
3/11 인간-AI 인터랙션: 성공적인 AI 어플리케이션 설계를 위한 핵심 요소 (김주호 교수/카이스트 전산학부)
kaistsoftware
|
2021.03.10
|
추천 0
|
조회 6939
|
kaistsoftware | 2021.03.10 | 0 | 6939 |