한국정보과학회 프로그래밍언어연구회 겨울학교
(SIGPL Winter School 2019)

일시: 2019년 2월 18일(월) ~ 2019년 2월 20일(수) 장소: 경성대학교(부산) 제2누리생활관 비전홀 주최: 한국정보과학회 프로그래밍언어연구회 주관: 경성대학교 소프트웨어학과 후원: 코드마인드(주)

초대의 글

한국정보과학회 프로그래밍언어 연구회에서 준비한 2019 겨울학교에 여러분을 초대합니다. 프로그래밍언어연구회에서는 매년 최신 연구동향을 소개하고 참가자들이 학문적으로 활발히 교류하는 자리를 마련해 왔습니다. 올해 겨울학교에서는 학계 및 산업현장에서 활발히 활동하시는 프로그래밍언어 분야 전문가들의 최신 연구를 소개하는 강연들과 다수의 우수 학생논문 발표가 준비되어 있습니다. 프로그래밍언어연구회 2019 겨울학교에 여러분의 많은 참여와 관심을 바랍니다.

한국정보과학회 프로그래밍언어연구회 운영위원장 이계식 (한경대) 드림

조직위원장: 변석우 (경성대)
프로그램위원장: 오학주 (고려대)
프로그램위원: 류석영 (KAIST), 조은선 (충남대)

프로그램

2월 18일 (월요일) 13:00 ~ 14:00 등록 14:00 ~ 15:00 (초청강연 1) Coordinated and Efficient Huge Page Management with Ingens 권영진 (KAIST) 15:00 ~ 16:00 (초청강연 2) Coordination Recipes for Tightly-Coupled Software Work in Open Source Software (OSS) Communities 문은영 (KAIST) 16:00 ~ 16:15 Break 16:15 ~ 16:40 LLVM 중간언어의 정수 - 포인터 캐스팅을 잘 설명하는 메모리 모델 이준영 (서울대) 16:40 ~ 17:05 놀라움의 정도를 이용한 딥러닝 시스템 테스팅 김진한 (KAIST) 19:00 ~ 21:00 포스터 발표 대학원생 2월 19일 (화요일) 09:30 ~ 10:30 (초청강연 3) 강화학습을 이용한 효과적 프로그램 줄이기 이우석 (한양대) 10:30 ~ 10:45 Break 10:45 ~ 11:10 바이너리 코드에 대한 그레이박스 콘콜릭 테스팅 최재승 (KAIST) 11:10 ~ 11:35 Bounded Model Checking of Signal Temporal Logic 이지아 (POSTECH) 11:35 ~ 12:00 바이너리 프로그램에서의 역테인트 분석 목성균 (충남대) 12:00 ~ 13:30 점심 식사 13:30 ~ 14:00 (초청강연 4) 정적 분석 정확도 다시 보기 이욱세 (코드마인드(주)) 14:00 ~ 14:25 안드로이드 하이브리드 앱의 동작 이해하기 이성호 (KAIST) 14:25 ~ 14:50 정적 분석을 활용하여 메모리 해제 오류를 자동으로 패치하기 홍성준 (고려대) 14:50 ~ 15:05 Break 15:05 ~ 15:30 컨텍스트 터널링을 이용한 빠르고 정확한 정적 분석 전민석 (고려대) 15:30 ~ 15:55 Eval 모나드 및 Cloud Haskell을 이용한 매니코어 병렬 프로그래밍 김연어 (부산대) 15:55 ~ 16:20 간단하고 빠른 ARM/RISC-V 동시성 메모리 모델 이성환 (서울대) 16:20 ~ 16:35 Break 16:35 ~ 17:00 CreLLVM: LLVM 컴파일러의 최적화 과정 검증하기 김윤승 (서울대) 17:00 ~ 17:25 정적분석의 매개변수화 박지혁 (KAIST) 2월 20일 (수요일) 09:30 ~ 10:30 (초청강연 5) 인공지능 전용칩: 도메인 특화 아키텍처 그리고 도메인 특화 언어 백준호 (Furiosa AI) 10:30 ~ 10:45 Break 10:45 ~ 11:10 학습된 확률모델을 통해 대규모 프로그램 합성을 가속화하기 이동권 (서울대) 11:10 ~ 11:35 메타 정보와 PAD를 이용한 프로그램 시각화 도구 천준석 (부산대) 11:35 ~ 12:00 An Analysis of Dynamic Open Source Cross-site Scripting Filters as a Security Device in Web Applications Nurul Atiqah Abu Talib (한양대)

등록

• 사전등록 마감: 2월 15일(금요일) 2월 12일(화요일)
• 등록 방법: 등록 페이지 를 통하여 등록할 수 있습니다.

  	학생	일반
  사전 등록	80,000원	100,000원
  현장 등록	100,000원	120,000원

숙박안내

• 일자: 2019년 2월 18(월) – 20(수)
• 학회 장소: 경성대학교 제2누리생활관 비전홀
• 숙박 장소: 경성대학교 제1누리생활관
• 경성대 주소: 부산시 남구 수영로 309 (대연동)

숙박 안내

경성대학교 누리생활관 (기숙사)는 2명이 숙박할 수 있도록 되어 있으며, 가격은 방을 기준으로 하고 있습니다 (1인이나 2인 모두 동일한 가격)

• 교내 숙박
  • 일반 사생실 (2인실) : 4만원/1박, 세면도구 제공 안하므로 각자 준비
  • 게스트룸 (2인실, 9개) : 5만5천원/1박, 침실(2인)+거실, 세면도구 제공
  • (예약완료) 게스트룸 (1인실, 2개) : 3만5천원/1박, 침실(1인)+거실, 세면도구 제공
  • 게스트룸 (4인실, 2개) : 6만원/1박, 온돌방+거실, 세면도구 제공

송금 금액: 사생실 (8만원), 게스트룸 2인실 (11만원), 게스트룸 4인실 (12만원)

• 교외 숙박
  • 호메르스호텔 (광안리, 1박기준) : 12만원~13만원(바닷가전망), 7만~8만원(바닷가 반대)
  • 해운대그랜드 호텔 (1박기준): 12만원, 15만원(비치뷰), 18만원, 21만원(스위트)

숙박 예약

• 교내 숙박: 이메일로 예약 sbhk38641@ks.ac.kr (서봉환 조교)
  • 현금 결제만 가능하며, 2박 위주로 예약하기 바랍니다.
  • 계좌번호: 부산은행 101-2058-8132-01 (에금주: 소프트웨어학과 서봉환)
  • 문의 전화: 051-663-5140 (소프트웨어학과 사무실), 방학 중 오후 2시까지 근무
  • 송금 금액: 8만원 (사생실), 게스트룸 2인실 (11만원), 게스트룸 1인실 (7만원)
  • 숙박 영수증: 등록 데스크에서 영수증 발행
  • 이메일로 예약정보 제공:
    • 예약자 이름, 소속, 전화번호, 이메일 주소, 성별(남,여), 숙박인원(1인, 2인)
    • 숙박유형 선택 (사생실, 게스트룸 1인, 게스트룸 2인)
      • 학생들은 사생실을 선택해 주기 바랍니다.
    • 송금일 및 송금자 이름
• 교외 숙박
  • 호메르스호텔 (051-750-8000) : “경성대 프로그래밍언어연구회” 예약시 할인금액 적용
  • 해운대그랜드 호텔 예약: 전화로 학과 조교를 통해 예약하면 할인 금액 적용됨

식사

등록시 제공되는 식권 사용. 기숙사 건물 옆 1층에 식당이 있습니다. 학생용 1식 3,300원, 교직원용 1식 4,500원입니다. 교직원 식사는 점심때만 운영합니다. 학교 건너 골목에 카페 및 식당이 많이 있습니다.

경성대학교 오는 방법

• 기차-버스: 부산역에서 시내버스 1001, 1003, 40, 27번 (경성대 하차, 약 30분)
• 비행기(김해공항): 리무진 (해운대행 -> 남천동 하차 -> 지하철)
• 기차-택시: 부산역->경성대(20분), 노포동시외버스터미널->경성대(40분)
• 기차-지하철: 부산역 1호선 -> 서면역에서 2호선으로 환승, 경성대부경대역에서 하차 (6번, 4번 출구)
• 자가용 (등록데스크에서 주차증 발급):
  • 경부고속도로 -> 도시고속도로(부두방향) ->대연램프(광안리방향)에서 진출. 약 300m 직진하다가 오른쪽 옆길로 들어와서 경성대 후문(용소초등학교 맞은편)으로 진입, 진입 후 좌회전 -> 200m 직진 –> 우회전 후 200m 직진
  • 남해고속도로 -> 동서고가도로 -> 황령산 터널 지나서, 약 500m 직진 후 오른쪽 옆길로 들어와서 경성대 후문(용소초등학교 맞은편)으로 진입. 진입 후 좌회전 -> 200m 직진 –> 우회전 후 200m 직진

---

프로그래밍언어연구회