한국정보과학회 프로그래밍언어연구회 겨울학교
(SIGPL Winter School 2026)
-
일시: 2026년 2월 4일 (수) ~ 2025년 2월 6일 (금)
-
장소: 울산 머큐어 엠버서더 호텔
-
주최: 한국정보과학회 프로그래밍언어연구회
-
후원: FuriosaAI, 리벨리온, NSHC
|
|---|
초대의 글
한국정보과학회 프로그래밍언어연구회에서 주최하는 2026 겨울학교에 여러분을 초대합니다.
이번 겨울학교에서는 국내외, 학계와 산업계에 계시는 다양한 분들을 모시고 프로그래밍언어, 컴파일러, 보안 등 다양한 분야의 이야기를 듣는 시간을 마련했습니다.
또한 예년과 마찬가지로 국내 주요 연구실에서 진행 중인 다양한 연구들을 직접 만나볼 수 있는 포스터 세션,
PL 분야 여러 교수님들의 진솔한 이야기를 들을 수 있는 자리도 준비했습니다.
여러분의 많은 관심과 참여 바랍니다.
한국정보과학회 프로그래밍언어연구회
운영위원장 이우석 (한양대)
2026 프로그래밍언어연구회 겨울학교
조직위원장 허기홍 (KAIST)
프로그램위원장 류석영 (KAIST)
프로그램
| 2월 4일 (수요일) |
|---|
| 13:00 ~ 14:00 | 등록 | |
| 14:00 ~ 15:00 | Understanding Wasm Malware Detection and Evasion | 김형식(성균관대) |
| 15:00 ~ 15:15 | 휴식 | |
| 15:15 ~ 16:15 | The Journey from AIxCC to Samsung-Wide AI-Powered Security Adoption | 장준언(삼성전자) |
| 16:15 ~ 16:30 | 휴식 | |
| 16:30 ~ 17:30 | Practical Challenges of Python Core Team | 나동희(당근) |
| 17:30 ~ 19:30 | 저녁 식사 | |
| 19:30 ~ 21:00 | 포스터 세션 | |
| 2월 5일 (목요일) |
|---|
| 10:00 ~ 11:00 | C를 러스트로 번역하기: 분석으로, LLM으로, 아니면 함께? | 홍재민(KAIST / Yale University) |
| 11:00 ~ 11:15 | 휴식 | |
| 11:15 ~ 12:15 | Effective Testing of Confluence of a Rewriting System | Koen Claessen(Chalmers University of Technology) |
| 12:15 ~ 14:00 | 점심 식사 | |
| 14:00 ~ 15:00 | Inductive Testing of Compilers and Interpreters | Koen Claessen(Chalmers University of Technology) |
| 15:00 ~ 15:15 | 휴식 | |
| 15:15 ~ 15:35 | (후원기업발표) Unlock Furiosa RNGD's Full Potential with Low-Level API | 강지훈(FuriosaAI) |
| 15:35 ~ 15:45 | (후원기업발표) NSHC LLVM 연구소 소개 | 최정필(NSHC) |
| 15:45 ~ 16:00 | 휴식 | |
| 16:00 ~ 18:00 | Not-So-New Faculty Talks |
이우석(한양대)
오학주 (고려대)
허충길(서울대)
류석영(KAIST) |
| 18:00 ~ 18:10 | 사진 촬영 | |
| 18:10 ~ 20:00 | 저녁 만찬 | |
| 2월 6일 (금요일) |
|---|
| 10:00 ~ 11:00 | Using Numerical Optimization to Generate Test Data That Is Likely to Trigger a Bug | Koen Claessen(Chalmers University of Technology) |
| 11:00 ~ 11:15 | 휴식 | |
| 11:15 ~ 12:15 | LLM 기반 심리상담 챗봇의 가능성과 한계 | 정두영(KAIST) |
| 12:15 ~ 12:30 | 폐회 및 포스터 시상 |
류석영(KAIST) |
|
등록
- 사전등록 마감: 2026년 1월 23일 (금요일)
- 등록 방법: 등록 페이지를 통해 신청 가능합니다.
| | 학생 | 일반 |
|---|
| 사전 등록 | 200,000원 | 300,000원 |
|---|
| 현장 등록 | 250,000원 | 400,000원 |
|---|
| 특별 할인 | 10,000원 | 10,000원 |
|---|
| 명예회원 | | 무료 |
|---|
-
특별 할인
-
올해에도 "특별 할인"을 통해 연구비가 부족한 경우에 지원하고자 합니다.
지원을 위해서는 지도교수 추천서가 필요합니다.
더 다양한 학생들에게 기회를 드리고자, 한 지도교수 당 최대 5명까지만 추천을 받습니다.
- 등록 페이지에서 동일하게 정보 작성하고 아래의 사항을 적용하여 등록합니다.
- 참가신청 결제 - 결제방법: 계좌이체 선택
- 입금 메모에 "특별할인" 기재
- 구글폼을 통해 지원해 주시면 승인 시 메일에 결제 링크가 포함되어 전달됩니다.
- 지원마감: 2026년 1월 16일(금)
- 계절학교에서 제공되는 식사는 수요일 저녁, 목요일 점심/저녁입니다.
오시는 길
숙박안내
-
행사장소인 머큐어 앰버서더 울산 호텔에 묵으실 경우 수페리어 더블/트윈 객실을 1박당 90,000(조식불포함)에 특별 예약하실 수 있습니다.
예약 시 "프로그래밍언어연구회" 라고 말씀해 주셔야 특별 할인 요금으로 적용됩니다. 특별 예약은 전화나 이메일로만 가능합니다.
신청 현황에 따라 조기 마감될 수 있으니, 미리 예약해 주시기 바랍니다.
- 그 외의 경우, 근처 호텔에 개별적으로 예약해주시기 바랍니다.
후원 모집
2026 SIGPL 겨울학교 후원 기업을 모집하고 있습니다.
후원에 관심이 있으신 기업에서는 조직위원장 허기홍 교수에게 이메일로 문의해주시면 후원 혜택을 안내해드립니다.
후원사 소개
| 골드 후원사 |
|---|
 |
FuriosaAI는 대한민국을 대표하는 인공지능 반도체 기업으로서 이재명 정부 1호 유니콘 기업이 되었습니다.
대규모 언어모델(LLM)을 고효율로 가속할 수 있는 2세대 AI 반도체 RNGD의 양산을 앞두고 있습니다.
Meta, OpenAI, LG AI Research, UpstageAI, Aramco 등 세계 유수 기업들이 관심을 보일 정도로 높은 기술력과 인지도를 인정받으며,
글로벌 AI 반도체 시장에서 혁신을 주도하는 기업으로 자리매김하고 있습니다.
|
 |
리벨리온은 대규모 AI 시대에 필요한 에너지 효율성과 확장성을 갖춘 AI 전용 가속기를 개발하고 있습니다.
LLM부터 멀티모달 AI까지, 리벨리온의 칩렛, 인터커넥트, 소프트웨어 스택은 하이퍼스케일 환경에서의 빠르고 확장 가능하며
전력 효율적인 배포를 위해 설계되었습니다. 글로벌 기술 파트너들의 지원과 검증된 대규모 구축 경험을 바탕으로,
소버린AI와 상업 분야를 아우르는 미래 AI 인프라를 만들어가고 있습니다.
|
| 브론즈 후원사 |
|---|
 |
2004년 해커들의 모임으로 시작된 NSHC는 2008년 법인 설립 후, 국내는 물론 싱가포르와 일본 등의 해외 지사를 기반으로
아시아 최고의 정보보안 기업을 목표로 보안 컨설팅, 모바일 보안 솔루션 개발, 악성코드 분석 및 취약점 정보 제공(ISAC)에
집중하고 있는 정보보안 벤처기업입니다. 모바일 보안 솔루션 시장에서는 점유율 1위를 차지하고 있으며, 국내 약 180개의
스마트폰 금융 애플리케이션에 제품을 공급하고 있고, 2025년 기준 94명의 임직원과 함께 연매출 127억을 달성하고 있습니다.
2017년 LLVM 4.0 기반 난독화 솔루션 개발을 시작으로, 최신 버전의 LLVM까지 Swift 지원을 포함한 안정적인 업데이트와 기술
지원을 성공적으로 이어오고 있으며, 2022년에는 그동안 축적된 기술력을 바탕으로 LLVM 연구소를 설립해 컴파일러 기반 보안 솔루션을
OT·국방등 다양한 분야에 적용하려는 한편, Edge AI 플랫폼과 정형검증등의 연구개발에도 집중하고 있습니다
|
|
프로그래밍언어연구회
