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

일시: 2024년 1월 31일 (수) ~ 2024년 2월 2일 (금) 장소: 대전광역시 KAIST N1 (지도) 주최: 한국정보과학회 프로그래밍언어연구회 후원: NSHC

초대의 글

한국정보과학회 프로그래밍언어연구회에서 주최하는 2024 겨울학교에 여러분을 초대합니다. 프로그래밍언어연구회에서는 매년 최신 연구 동향 소개와 함께 참가자들이 교류할 수 있는 자리를 마련해 왔습니다. 이번 겨울학교는 "사이좋게 지내자"는 테마로, SIGPL에서 (자주) 못 모셨던 분들의 발표를 청해 듣고, 또 조별활동을 통해 (특히 학생) 회원간 교류를 증진하고자 합니다. 프로그래밍언어연구회 2024 겨울학교에 여러분의 많은 관심과 참여를 바랍니다.

한국정보과학회 프로그래밍언어연구회 공동운영위원장 오학주 (고려대), 임현승 (강원대)

조직위원: 강지훈 (KAIST)
프로그램위원: 이성호 (충남대, 위원장), 황성재 (성균관대), 박지혁 (고려대)

프로그램

1월 31일 (수요일) 12:00 ~ 13:00 등록 13:00 ~ 13:10 개회사 강지훈 (KAIST) 13:10 ~ 13:20 전체 프로그램 설명 이성호 (충남대) 13:20 ~ 14:00 (초청강연 1) 딥 전이학습 기반 프로그램 자동 수정: 산업 적용 사례를 중심으로 김미수 (전남대) 14:00 ~ 14:30 휴식 14:30 ~ 15:30 번개 발표 1 대학원생 15:30 ~ 15:40 휴식 15:40 ~ 16:30 번개 발표 2 대학원생 16:30 ~ 18:00 포스터 발표 대학원생 18:00 ~ 저녁 및 조별 활동 2월 1일 (목요일) 10:30 ~ 11:10 (초청강연 2) 임베디드 시스템을 위한 컴파일러 디자인 허선영 (경희대) 11:10 ~ 11:30 휴식 11:30 ~ 12:10 (초청강연 3) 근사 컴퓨팅의 자동 적용을 위한 컴파일러 최적화 기법 박영준 (연세대) 12:10 ~ 12:20 사진촬영 대학원생 12:20 ~ 13:40 점심식사 교수회관 13:40 ~ 14:20 (초청강연 4) LeakPair: 단일페이지 웹 어플리케이션내의 메모리 누수를 고치기 위한 선제적 디버깅 김동선 (경북대) 14:20 ~ 15:00 (초청강연 5) 다중 노드 환경에서 빅데이터 스트리밍 엔진의 성능 평가 방법 양신형 (연세대) 15:00 ~ 15:20 휴식 15:20 ~ 16:00 (초청강연 6) 소프트 오류로부터의 신뢰성 향상을 위한 비트 단위 정적 분석 기법 고유선 (연세대) 16:00 ~ 18:00 조별활동 18:00 ~ 뱅큇 교수회관 2월 2일 (금요일) 10:30 ~ 11:10 (초청강연 7) 코드 속성 그래프의 부분 그래프 매칭을 통한 대규모 취약점 탐지 위성일 (UNIST) 11:10 ~ 11:40 조별활동 콘테스트 및 시상 / 포스터 시상 박지혁 (고려대) 11:40 ~ 11:50 폐회사 강지훈 (KAIST)

등록

• 1차 사전등록 마감: 2023년 12월 29일 (금요일)
• 2차 사전등록 마감: 2024년 1월 19일 (금요일)
• 등록 방법: 등록 페이지를 통해 부탁드립니다.

  	학생	일반
  사전 등록(1차)	150,000원	250,000원
  사전 등록(2차)	170,000원	300,000원
  현장 등록	200,000원	350,000원

• 무료로 제공되는 식사는 수요일 저녁, 목요일 점심/저녁입니다.
• 번개 발표 / 포스터 등록 (마감: 1월 12일 1월 19일로 연장)

숙박안내

시내 호텔 등에 개별적으로 예약해주시기 바랍니다.

• 차로 5-10분거리에 있는 호텔 목록 참고바랍니다.
• 호텔 인터시티: 홈페이지에서 프로모션코드 "KAIST1"를 넣으시면 할인된 가격에 예약할 수 있습니다.
• 호텔 ICC: 이메일을 통해 지정된 예약폼으로 할인된 가격에 예약할 수 있습니다.

후원

• NSHC (회사 관련 기사): 2004년 해커들의 모임으로 시작된 NSHC는 2008년 법인 설립 후 아시아 최고의 정보보안기업이 되기 위한 목표를 가지고 보안 컨설팅, 모바일 보안 솔루션 개발, 악성코드 분석 및 취약점 정보 제공(ISAC) 분야에 집중하고 있는 정보보안 벤처기업입니다. 국내는 물론 싱가포르와 일본 등의 해외 지사를 통해 세계적인 IT 보안 전문 기업으로의 성장을 위해 노력하고 있습니다. 현재 모바일 보안 솔루션 시장에서는 점유율 1위를 차지하며, 국내 약 180개의 스마트폰 금융 애플리케이션에 제품을 공급하고 있으며, 금융보안 특화 정보보안 컨설팅 서비스도 제공하고 있습니다. 2023년 기준으로 89명의 임직원을 보유하고 연매출 94억을 달성하고 있으며, 특히 2017년 LLVM 4.0에 기반한 난독화 솔루션 개발을 시작하여, 최신 버전의 LLVM까지 Swift 지원을 포함한 안정적인 업데이트와 지원을 성공적으로 지속하고 있습니다. 2022년에는 LLVM 연구소를 설립하여 그동안 축적한 LLVM 기반 보안 솔루션을 다양한 분야에 적용하는 동시에, 정형검증과 웹어셈블리를 포함한 추가 연구개발에도 집중하고 있습니다.

---

프로그래밍언어연구회