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

일시: 2022년 2월 12일(토) ~ 2022년 2월 14일(월) 장소: 제주 더그랜드섬오름 범섬홀 주최: 한국정보과학회 프로그래밍언어연구회 후원: FuriosaAI

초대의 글

한국정보과학회 프로그래밍언어 연구회에서 준비한 2022 겨울학교에 여러분을 초대합니다. Covid-19로 오랫동안 직접 뵙지 못한 아쉬운 마음이 커서 아직 완전히 종식되지 않은 상황에서도 겨울학교를 감행하기로 했습니다. 이전에 우리 프로그래밍언어연구회는 열정적으로 최신 연구동향을 소개하고 활발히 교류했습니다. 이번 겨울학교에서 학계 및 산업계에서 활발히 활동하시는 프로그래밍언어 분야 전문가 분들을 모시고 최신 연구를 듣는 강연들, 무엇이든 물어보세요, 다수의 우수 학생 논문 발표, SIGPL 여름/겨울학교의 꽃인 학생분들의 포스터 발표가 준비되어 있습니다. 많은 분들 뵙고 싶습니다. 많은 참여 부탁 드립니다.

한국정보과학회 프로그래밍언어연구회 운영위원장 정영범 (FuriosaAI) 드림

조직위원장: 허기홍 (KAIST)
프로그램위원장: 이우석 (한양대)

프로그램

2월 12일 (토요일) 10:00 ~ 11:00 등록 11:00 ~ 12:00 SIGPL 운영위원회 SIGPL 운영위원 (본관 The Library) 12:00 ~ 13:00 점심 13:00 ~ 14:00 (초청강연 1) LLVM과 MLIR 컴파일러 번역 검산하기 이준영 (Crypto Lab) 14:00 ~ 15:00 (초청강연 2) 코딩 과제물 평가 시스템 - 현실과 이슈 조환규 (부산대학교) 15:00 ~ 15:15 휴식 15:15 ~ 15:40 BayeSmith: 정적 분석 알람을 위한 확률 모델 학습 김현수 (KAIST) 15:40 ~ 16:05 싹수 분석으로 프로그램 합성 보조하기 윤용호 (서울대학교) 16:05 ~ 16:30 Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency 이성환 (서울대학교) 16:30 ~ 16:40 휴식 16:40 ~ 18:16 번개발표 1 대학원생 (각 8 분) 18:16 ~ 19:30 저녁 19:30 ~ 22:00 포스터 발표 대학원생 2월 13일 (일요일) 10:00 ~ 11:00 (초청강연 3) End-to-end formal verification on pKVM 김지응 (Google) 11:00 ~ 12:00 (초청강연 4) 플랫폼 중심 프로그래밍 교육 운영 사례 김재원 (Elice) 12:00 ~ 13:10 점심 13:10 ~ 13:30 바이너리 정적 분석을 활용한 효과적인 윈도우 커널 퍼징 기법 최재승 (KAIST) 13:30 ~ 13:55 JavaScript Static Analysis for Evolving Language Specifications 박지혁 (KAIST) 13:55 ~ 14:20 프로그램 자동탐색 기법을 이용한 동형암호 회로 최적화 이동권 (서울대학교) 14:20 ~ 15:30 무엇이든 물어보세요 이광근 (서울대학교), 류석영 (KAIST), 정영범 (FuriosaAI) 15:30 ~ 18:00 단체 산책 올레길 7코스 (폭풍의 언덕) 18:00 ~ 만찬 2월 14일 (월요일) 10:00 ~ 11:00 (초청강연 5) AI 반도체 스타트업의 도전 정영범 (FuriosaAI) 11:00 ~ 11:24 번개발표 2 대학원생 (각 8 분) 11:24 ~ 11:49 실시간 분산 시스템을 위한 미들웨어 검증하기 김윤승 (서울대학교) 11:49 ~ 12:14 A programming language-based approach to machine learning on graphs 전민석 (고려대학교) 12:14 ~ 폐회

등록

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

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

• 무료 제공되는 식사는 일요일 저녁 만찬뿐입니다.

프로그램 안내

무엇이든 물어보세요

이번 SIGPL 겨울학교에서는 PL 학계와 산업계에 오랫동안 몸 담고 계신 분들을 모시고 “무엇이든 물어보세요” 세션을 진행합니다. 프로그래밍 언어를 공부하고 있는 학생들과 신진 연구자들께서는 평소 고민과 궁금증이 있다면 공유해 주세요. 자유롭게 설문지에 남겨주시면 됩니다. 선배 연구자들께서 여러분을 위해 기꺼이 귀 기울여 주시기로 했습니다.

산책

“영감은 길에서 나온다” 말이 있습니다. 새로운 곳에서 새로운 사람들과 걷다보면 번뜩이는 아이디어 불꽃이 종종 튈 때가 있지요. 그래서 둘째날 오후에는 올레길 7코스를 함께 산책하려고 합니다. 호텔을 출발하여 동쪽으로 5km 떨어진 폭풍의 언덕에 도착하는 것이 목표입니다. 탁트인 바닷길을 같이 걸으며 즐거운 이야기 많이 나누길 기대합니다. 올레길에서 마주친 풍경과 동료들을 찍은 사진도 앨범에 공유해주세요.

숙박안내

학회 장소인 더그랜드섬오름 호텔에 개별적으로 예약해주시길 바랍니다.

식사안내

• 바솔트 레스토랑 (호텔 신관 1층)
• 제주양반갈비 (갈비 전문 한식당, 도보 10분 거리)
• 다도 (전복 요리 전문점, 도보 10분거리)
• 착한 삼촌 (흑돼지 삼겹살 전문점, 도보 15분거리)
• 월드컵 흑돼지 (흑돼지 삼겹살 전문점, 자동차 5분 거리)

오시는 길

호텔 홈페이지를 참고해 주시기 바랍니다.

---

프로그래밍언어연구회