한국정보과학회 프로그래밍언어연구회 동계 워크숍
(SIGPL Winter Workshop 2016)

  • 일시: 2016년 2월 18일 (목) ~ 2월 19일 (금)
  • 장소: 전주 전북대학교 박물관
  • 주최: 한국정보과학회 프로그래밍언어연구회
  • 후원: 전북대학교 컴퓨터공학부

회원여러분 안녕하십니까?

프로그래밍언어연구회 동계 워크숍을 전통과 현대가 공존하는 유서 깊은 도시 전주(전북대학교)에서 개최하게 됨을 기쁘게 생각합니다. 이번 워크숍은 회원 여러분의 최근 연구 활동을
자유롭게 발표하고 교류하는 장으로 준비하였습니다. 이러한 취지에 따라 초청 강연, 산업체 발표, 마일스톤 발표, 번개 발표 등 다양한 형태의 발표로 프로그램을 구성하였습니다.

이번 워크숍에 많은 분들이 참가하셔서 그 동안의 연구를 함께 공유하고 교류하는 유익하고 즐거운 시간이 되기를 바랍니다. 회원 여러분의 많은 참여와 성원을 부탁드립니다.

프로그래밍언어연구회 운영위원장 창병모 드림


프로그램위원장 이경옥 (한신대)
조직위원장 편기현 (전북대)
프로그램위원 임현승 (강원대)
운영위원 이계식(한경대) 안준선(한국항공대)

프로그램

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:30Adaptive Correction of Sampling Bias in Dynamic Call Graphs이병철 교수(광주과학기술원)
16:30-16:55Type Inference Prototyping Engines from Relational specifications of type systems (TIPER)안기영 박사 (Portland State University 졸업)
16:55-17:20Machine Learning Approaches to Adaptive Program Analysis오학주 교수(고려대학교)
17:20-17:30 break time
17:30-17:45 Light talk(1) 좌장: 임현승 교수(강원대학교)
17:30-17:35Learning to Adapt Program Analysis with Automatic Feature Construction채권수(고려대학교)
17:35-17:40Efficiently 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:25XML 프로그램을 위한 거꾸로 타입 추론 기법임현승 교수(강원대학교)
10:25-10:50Towards verified compilation for the LLVM compiler 허충길 교수(서울대학교)
10:50-11:00 break time
11:00-11:25C/C++ 동시성 메모리 모델강지훈(서울대학교)
11:25-11:50Lightweight verification of separate compilation김윤승(서울대학교)
11:50-12:15Program 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:10ZooBerry: 분석기/검산기 자동 생성 시스템 조성근(서울대학교)
15:10-15:20 break time
15:20-16:15 Light talk(2) 좌장: 임현승 교수(강원대학교)
15:20-15:25An Efficient Choice of Java Object Model with Preemptable Code Offloading권기창(광주과학기술원)
15:25-15:30JeannieCL: Granting JNI with parallel environment강성중(광주과학기술원)
15:30-15:35Empirical Study of Real World Multilingual Programs and Their Bugs고봉석(광주과학기술원)
15:35-15:40Empirical Analysis of Ocaml/C Program Errors안수민(광주과학기술원)
15:40-15:45Source code level debugger for jikes RVM한승훈(광주과학기술원)
15:45-15:50스트링 도메인에 간단한 정규식을 활용하여 효율적으로 jQuery 정적 분석하기 박창희(KAIST)
15:50-15:55JavaScript 정적분석을 위한 함수문맥 구분방법이홍기(KAIST)
15:55-16:00LLVM 컴파일러의 Alias Analysis 패스 검산하기윤용호(서울대학교)
16:00-16:05바이너리 실행 파일의 버퍼 오버런 분석최재승(서울대학교)
16:05-16:10달라지는 실행흐름에 의한 변경 영향을 빠짐없이 잡아내기이동권(서울대학교)
16:10-16:15부울논리가 함수호출경로를 만들어주네요, 알람분류에 유용해요김종권(서울대학교)

참가자 단체사진

등록

숙박예약 안내

오시는길