프로그램
(겨울학교 학술/조직위원장)
|
정보과학회 프로그래밍언어 연구회 (SIGPL) 2008 겨울학교 |
||
|
일시: 2008년 1월 30일(수) - 2월 1일(금) |
||
|
장소: KAIST 전산학동
|
||
|
한국정보과학회 프로그램밍언어 연구회 (SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최하고 있습니다. 올해는 프로그래밍 언어의 주요 분야인 정적 분석에 관련된 기초 강의와 최신 연구 강의를 마련하였습니다. 특히, 산업체와 연구기관에서의 관련 연구와 도구 개발에 관한 강의를 포함하고 있습니다. 관심을 가지시고 많은 참여를 부탁드립니다. 한국정보과학회 프로그래밍언어 연구회 운영위원장 최진영
|
||
|
프로그램 |
||
| 1/30 (수) | ||
| 2:00 - 2:30 | 등록 | |
| 2:30 - 2:40 | 개회식 |
개회사: 한환수 (겨울학교 학술/조직위원장) |
| 2:40 - 4:40 | 세션 I - 정적분석의 기초 | 좌장: 한환수 (KAIST) |
|
DFA 기초
|
이재진 (서울대) | |
|
Abstract Interpretation
기초
|
창병모 (숙명여대) | |
| 4:40 - 4:55 | 휴식 | |
| 4:55 - 5:30 | 정보과학회 및 SIGPL 논문지 안내 | 신승철 (SIGPL 편집위원장) |
| 5:30 - 8:00 | 만찬 | 등록자 |
| 1/31 (목) | ||
| 9:30 - 11:30 | 세션 II - 정적분석의 응용 1 | 좌장: 이재진 (서울대) |
|
Formalization of Abstract Interpretation in Coq
|
신승철 (한국기술교육대) | |
|
Abstract Value Slicing
|
서선애 (KAIST) | |
| 11:30 - 1:00 | 점심 | |
| 1:00 - 3:00 | 세션 III - 정적분석의 응용 2 | 좌장: 조은선 (충남대) |
|
String Analysis
|
도경구 (한양대) | |
|
효율적인 포인터 오류 검증
|
이욱세 (한양대) | |
| 3:00 - 3:15 | 휴식 |
| 3:15 - 5:15 | 세션 IV - 상용도구 및 사례연구 1 | 좌장: 도경구 (한양대) |
|
스패로우 - Static Bug Finder
|
정영범 (서울대) | |
|
A-Max - Static Code Analysis
|
이상엽 (인프라소프트) | |
| 2/1 (금) | ||
| 9:30 - 11:30 | 세션 V - 정적분석과 모델체킹 | 좌장: 신승철 (한국기술교육대) |
|
SAT-based Analysis for C Programs
|
김문주 (KAIST) | |
|
Static Analysis Based on SMT Solver
|
이주용 (KAIST) | |
| 11:30 - 1:00 | 점심 | |
| 1:00 - 3:00 | 세션 VI - 상용도구 및 사례연구 2 | 좌장: 한환수 (KAIST) |
|
보안강화를 위한 다형성 도구 개발
|
임을규 (한양대) | |
|
코드 분석 기술을 이용한 화이트박스 테스팅
|
배현섭 (슈어소프트테크) |
|
등록 안내 |
||||||||
|
|
|||||||
|
1월 24일까지 완료 | 문의: 한환수 교수 (KAIST, 042-869-3547) | ||||||
|
준비위원회 |
||
|
도경구, 신승철, 이재진, 최진영, 한환수 | |
|
김문주, 조은선, 한환수 | |
|
장소안내 |
|
[KTX 이용 - 경부선 "대전역" 혹은 호남선 "서대전역"]
[고속버스 이용 - 경부선 "대전청사" 혹은 호남선 "유성"]
|
|
 |
[승용차] 경부선의 회덕IC에서 호남고속도로로 들어와 북대전 요금소 혹은 유성 요금소에서 나와 왼쪽 지도와 같이 KAIST 캠퍼스로 찾아오시면 됩니다. |
 |
[KAIST 캠퍼스] KAIST의 정문으로 들어와서 바로 우회전하여 왼쪽으로 두번째 건물이 전산학동입니다. 주차는 건물 주변 일반 주차장 또는 건물 진입로로 들어서기 전에 우측에 있는 일반 주차장을 이용하십시요. |