한국정보과학회 프로그래밍언어연구회 동계 워크숍
(SIGPL Winter Workshop 2016)
(SIGPL Winter Workshop 2016)
|
|---|
회원여러분 안녕하십니까?
프로그래밍언어연구회 동계 워크숍을 전통과 현대가 공존하는 유서 깊은 도시 전주(전북대학교)에서 개최하게 됨을 기쁘게 생각합니다. 이번 워크숍은 회원 여러분의 최근 연구 활동을
자유롭게 발표하고 교류하는 장으로 준비하였습니다. 이러한 취지에 따라 초청 강연, 산업체 발표, 마일스톤 발표, 번개 발표 등 다양한 형태의 발표로 프로그램을 구성하였습니다.
이번 워크숍에 많은 분들이 참가하셔서 그 동안의 연구를 함께 공유하고 교류하는 유익하고 즐거운 시간이 되기를 바랍니다. 회원 여러분의 많은 참여와 성원을 부탁드립니다.
프로그래밍언어연구회 운영위원장 창병모 드림
프로그램위원장 이경옥 (한신대)
조직위원장 편기현 (전북대)
프로그램위원 임현승 (강원대)
운영위원 이계식(한경대) 안준선(한국항공대)
프로그램
| 2월 18일 (목) | ||
|---|---|---|
| 13:30-13:35 | 인사말 | 창병모 교수(숙명여자대학교) |
| 13:35-14:25 | 초청 강연(1) | 사회: 허충길 교수(서울대학교) |
| Stream Program Orchestration for Multicore Architectures | Bernd Burgstaller 교수(연세대학교) | |
| 14:25-14:30 | break time | |
| 14:30-15:20 | 초청 강연(2) | 사회: 최광훈 교수(연세대학교) |
| Analysis and testing for mission critical software | 배현섭 대표(슈어소프트) | |
| 15:20-15:35 | break time | |
| 15:35-16:00 | 기업체 발표 | 사회: 안준선 교수(항공대학교) |
| CodeMind: An On-the-Fly Static Analyzer using Source Code Querying | 신승철 대표(코드마인드) | |
| 16:00-16:05 | break time | |
| 16:05-17:20 | 마일스톤 발표(1) | 좌장: 박성우 교수(포항공대) |
| 16:05-16:30 | Adaptive Correction of Sampling Bias in Dynamic Call Graphs | 이병철 교수(광주과학기술원) |
| 16:30-16:55 | Type Inference Prototyping Engines from Relational specifications of type systems (TIPER) | 안기영 박사 (Portland State University 졸업) |
| 16:55-17:20 | Machine Learning Approaches to Adaptive Program Analysis | 오학주 교수(고려대학교) |
| 17:20-17:30 | break time | |
| 17:30-17:45 | Light talk(1) | 좌장: 임현승 교수(강원대학교) |
| 17:30-17:35 | Learning to Adapt Program Analysis with Automatic Feature Construction | 채권수(고려대학교) |
| 17:35-17:40 | Efficiently Learning an Adaptation Strategy of Program Analysis with Ordinal Comparison | 이민아(고려대학교) |
| 17:40-17:45 | 정적 분석을 이용한 크래시 필터링 | 전현구(충남대학교) |
| 18:45- | 전체 만찬(무궁화한정식, 전주시 덕진구 덕진동2가 167-47, 063-271-3307) | |
| 2월 19일 (금) | ||
| 10:00-12:15 | 마일스톤 발표(2) | 좌장: 오학주 교수(고려대학교) |
| 10:00-10:25 | XML 프로그램을 위한 거꾸로 타입 추론 기법 | 임현승 교수(강원대학교) |
| 10:25-10:50 | Towards verified compilation for the LLVM compiler | 허충길 교수(서울대학교) |
| 10:50-11:00 | break time | |
| 11:00-11:25 | C/C++ 동시성 메모리 모델 | 강지훈(서울대학교) |
| 11:25-11:50 | Lightweight verification of separate compilation | 김윤승(서울대학교) |
| 11:50-12:15 | Program transformation of the synchronous data flow programming model | 고유선(연세대학교) |
| 12:15-13:30 | 점심(진수원) | |
| 13:30-15:10 | 마일스톤 발표(3) | 좌장: 이병철 교수(광주과학기술원) |
| 13:30-13:55 | 정적의미분석 결과를 기계학습에 활용한 안드로이드 악성 앱 탐지 | 김진영(서울대학교) |
| 13:55-14:20 | 부울논리가 함수호출경로를 만들어주네요, 알람분류에 유용해요 | 이우석(서울대학교) |
| 14:20-14:45 | 기계학습을 이용한 효율적인 관계분석 | 허기홍(서울대학교) |
| 14:45-15:10 | ZooBerry: 분석기/검산기 자동 생성 시스템 | 조성근(서울대학교) |
| 15:10-15:20 | break time | |
| 15:20-16:15 | Light talk(2) | 좌장: 임현승 교수(강원대학교) |
| 15:20-15:25 | An Efficient Choice of Java Object Model with Preemptable Code Offloading | 권기창(광주과학기술원) |
| 15:25-15:30 | JeannieCL: Granting JNI with parallel environment | 강성중(광주과학기술원) |
| 15:30-15:35 | Empirical Study of Real World Multilingual Programs and Their Bugs | 고봉석(광주과학기술원) |
| 15:35-15:40 | Empirical Analysis of Ocaml/C Program Errors | 안수민(광주과학기술원) |
| 15:40-15:45 | Source code level debugger for jikes RVM | 한승훈(광주과학기술원) |
| 15:45-15:50 | 스트링 도메인에 간단한 정규식을 활용하여 효율적으로 jQuery 정적 분석하기 | 박창희(KAIST) |
| 15:50-15:55 | JavaScript 정적분석을 위한 함수문맥 구분방법 | 이홍기(KAIST) |
| 15:55-16:00 | LLVM 컴파일러의 Alias Analysis 패스 검산하기 | 윤용호(서울대학교) |
| 16:00-16:05 | 바이너리 실행 파일의 버퍼 오버런 분석 | 최재승(서울대학교) |
| 16:05-16:10 | 달라지는 실행흐름에 의한 변경 영향을 빠짐없이 잡아내기 | 이동권(서울대학교) |
| 16:10-16:15 | 부울논리가 함수호출경로를 만들어주네요, 알람분류에 유용해요 | 김종권(서울대학교) |
참가자 단체사진
등록
- 사전등록 마감: 2월 15일
- 등록 방법: 등록페이지를 통해 등록해주세요.
학생 일반 사전 등록 100,000원 150,000원 현장 등록 120,000원 170,000원
숙박예약 안내
- 일괄 예약 신청이 가능합니다.
더블룸(침대1개) 트윈룸(침대2개) 온돌룸 사전 등록 40,000원 48,000원 40,000원 - [예약 현황]을 확인한 후 남아있는 방을 예약하십시오.
- [예약 신청]을 통하여 예약 후 해당 금액을 이체 바랍니다.
- 입금계좌 : 기업은행. 528-024704-04-011 한국정보과학회프로그래밍언어연구회
- 예약 후 당일 입금하지 않을 시 예약이 취소될 수 있습니다.
- 2월 2일 이후 취소 시 위약금이 부과됩니다.
- 확보된 방이 소진될 경우 예약이 조기 마감됩니다.
- 문의: 한국항공대학교 안준선 (jsahn@kau.ac.kr)
오시는길
-
전북대학교 박물관 오시는길
박물관 위치 :
프로그래밍언어연구회