한국정보과학회 프로그래밍언어연구회 여름 워크샵
(SIGPL Summer Workshop 2017)
(SIGPL Summer Workshop 2017)
|
---|
초대의 글
한국정보과학회 프로그래밍언어 연구회에서 준비한 여름 워크샵 2017에 여러분을 초대합니다. 저희 연구회에서는 매년 프로그래밍언어 최신 연구 동향을 소개하고 참가자들이 서로 교류하는 장을 마련해왔습니다. 올해 여름 워크샵에서는 자바스크립트, 보안, 안드로이드 앱 정적 분석 및 동적 테스팅, C/C++의 미스테리에 대한 주제로 프로그램을 준비하였습니다. 또한 최근 사회적으로 관심이 높은 소프트웨어 교육에 대한 강연과 소프트웨어 특허에 대한 이해를 돕는 강연도 함께 진행할 예정입니다. 프로그래밍언어연구회 여름 워크샵 2017에 많은 참석과 성원을 부탁드립니다.
프로그래밍언어연구회 운영위원장 안준선 드림
조직위원장 임현승(강원대학교)
프로그램위원장 최광훈(전남대)
프로그램위원 류석영(KAIST) 오학주(고려대) 허충길(서울대) 임현일(경남대)
프로그램
8월 9일 (수요일) | |||
---|---|---|---|
12:30 ~ 13:30 | 등록 | ||
13:30 ~ 14:30 | 동적 타입을 갖는 스크립트 언어 가속을 위한 타입드 아키텍처 | 이재욱 (서울대) | 발표자료 |
14:45 ~ 15:15 | 웹 앱 정적 결함 검출기의 정확도를 동적 정보를 활용하여 향상하기 | 박준영 (KAIST) | 발표자료 |
15:30 ~ 16:30 | 전공자와 비 전공자를 위한 소프트웨어 교육 | 이민석 (국민대) | 발표자료 |
16:45 ~ 17:30 | 번개 발표 (포스터 홍보) | 학부생/대학원생 | |
19:30 ~ 21:00 | 포스터 발표 | 학부생/대학원생 | |
8월 10일 (목요일) | |||
09:30 ~ 10:30 | 소프트웨어 보안을 위한 바이너리 분석 기법 동향 | 손윤식 (동국대) | 발표자료 |
10:45 ~ 11:45 | Dynamic Virtual Address Range Adjustment for Intra-Level Privilege Separation on ARM | 이하윤 (서울대) | 발표자료 |
13:00 ~ 13:30 | 안드로이드 하이브리드 앱의 결함 및 보안 취약점 검출을 위한 정적 분석 프레임워크 | 이성호 (KAIST) | 발표자료 |
13:40 ~ 14:40 | Challenges of Automated Model-based GUI Testing for Android Apps | 백영민 (KAIST) | 발표자료 |
14:50 ~ 15:50 | 소프트웨어 특허의 이해 | 박상현 (특허청) | 발표자료 |
16:00 ~ | Excursion | ||
8월 11일 (금요일) | |||
09:30 ~ 10:30 | Taming Undefined Behavior in LLVM | 이준영 (서울대) | 발표자료 |
10:45 ~ 11:45 | C++ 메타프로그래밍과 ConstExpr | 김경진 (AsterSoft) | 발표자료 |
12:00 ~ | Wrap-Up |
포스터 세션은 회원 여러분의 최근 연구내용을 자유롭게 발표하고 교류하는 장으로 8월 9일(수) 19시30분~21시에 진행될 예정입니다.
여름 워크샵에서 번개 발표(5분)과 포스터 발표를 원하시는 분들은 발표제목과 소속을 8월 4일 금요일까지 최광훈 교수(kwanghoon.choi@jnu.ac.kr)에게 알려주십시요.
등록
- 사전등록 마감: 8월 1일
- 등록 방법: 등록 페이지를 통하여 등록할 수 있습니다.
- 등록비: 교육 기간 중의 숙박비 및 식비(10일 아침, 점심, 저녁, 11일 아침)이 포함됩니다.
단, 현장 등록의 경우 숙소가 제공지 못할 수도 있으니 가급적 사전 등록을 부탁 드립니다.
학생 일반 사전 등록 230,000원 280,000원 현장 등록 250,000원 300,000원
숙박안내
- 숙소로 강원대학교 기숙사를 제공합니다만(학생은 2인 1실, 일반은 1인 1실), 외부 숙박 시설을 이용하시고자 하시면 상상마당 춘천 스테이를 추천합니다.
- KT&G 상상마당 춘천 스테이
비용 : 2인실 79,000원/1박, 3인실 89,000원/1박, 4인실 129,000원/1박
거리 : 4km, 소요시간 : 차량운행시 15분 (위치)
오시는길
-
강원대학교 춘천캠퍼스 오시는길
공과대학 사이버랩 위치 :
프로그래밍언어연구회