한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2024)

일시: 2024년 8월 21일 (수) ~ 2024년 8월 23일 (금) 장소: 성균관대학교 자연과학캠퍼스 (지도) 주최: 한국정보과학회 프로그래밍언어연구회 후원: NSHC

초대의 글

한국정보과학회 프로그래밍언어연구회에서 주최하는 2024 여름학교에 여러분을 초대합니다.

프로그래밍언어연구회에서는 매년 최신 연구 동향 소개와 함께 참가자들이 교류할 수 있는 자리를 마련해 왔습니다. 이번 여름학교는 "PL 분야 졸업생 어디로 갔는가"라는 테마입니다. 구체적으로, 최근 PL분야 졸업생들 중 "학계"와 "산업계"로 가신 분들을 초청하여 현재 대학원생들이 궁금할만한 다양한 이야기를 들어보고자 합니다. 또한, 우수한 PL 분야 신진 박사분들을 초청하여, 대학원 생활 및 논문 작성에 대한 노하우를 공유할 수 있는 시간을 마련하였습니다. 이를 통해, 학생들이 졸업 후의 미래 설계 및 남은 기간의 대학원 생활에 도움이 되었으면 합니다. 프로그래밍언어연구회 2024 여름학교에 여러분의 많은 관심과 참여를 바랍니다.

한국정보과학회 프로그래밍언어연구회
운영위원장 허기홍 (KAIST)

2024 프로그래밍언어연구회 여름학교
조직위원장 차수영 (성균관대)
프로그램위원장 황성재 (성균관대)

참가자 단체사진

• 더 많은 사진은 링크에서 확인할 수 있습니다.

프로그램

8월 21일 (수요일) 12:00 ~ 13:00 등록 13:00 ~ 13:20 개회사 / 프로그램 설명 차수영 (성균관대) 13:20 ~ 14:00 (초청강연 1): 흐르는 강물처럼 김지응 (인하대) 14:00 ~ 14:30 휴식 14:30 ~ 15:10 (초청강연 2): 프로그래밍 언어와 보안의 만남 최재승 (서강대) 15:10 ~ 15:50 (초청강연 3): 학계로 오세요. 차수영 (성균관대) 15:50 ~ 16:20 휴식 16:20 ~ 17:30 번개 발표1 대학원생 17:30 ~ 19:00 저녁 신관B동 19:30 ~ 20:45 포스터1 대학원생 8월 22일 (목요일) 09:30 ~ 10:30 운영위원 회의 솦:공방 인(2층) 10:30 ~ 11:10 (초청강연 4): 졸업후에 보이게 된 것들 이동권 (삼성리서치) 11:10 ~ 11:30 휴식 11:30 ~ 12:40 번개 발표2 대학원생 12:40 ~ 12:50 사진촬영 12:50 ~ 14:00 점심 식사 신관B동 14:00 ~ 14:40 (초청강연 5): 코드에서 비즈니스로: PL 박사의 스타트업 생존기 박준영 (㈜까리용) 14:40 ~ 15:20 (초청강연 6): PL 전공자가 바라본 AI 컴파일러 이성환 (Rebellions) 15:20 ~ 15:40 휴식 15:40 ~ 17:30 야외활동 일월 수목원 17:30 ~ 19:00 뱅큇 신관B동 19:30 ~ 20:45 포스터2 대학원생 8월 23일 (금요일) 10:30 ~ 11:10 (초청강연 7): 될 때까지 개선하기 전민석 (고려대) 11:10 ~ 11:30 시상 / 포스터 시상 황성재 (성균관대) 11:30 ~ 11:40 폐회사 차수영 (성균관대)

등록

• 사전등록 마감: 2024년 8월 11일 (일요일)
• 등록 방법: 등록 페이지를 통해 부탁드립니다.

  	학생	일반
  사전 등록	150,000원	250,000원
  현장 등록	200,000원	350,000원
  특별 할인	10,000원	10,000원
  명예회원		무료

• 특별 할인
  • 최근 R&D 예산 삭감으로 많은 연구실이 연구비가 부족한 상황입니다.
    "특별 할인"을 통해 연구비가 부족한 경우에 지원하고자 합니다.
    지원을 위해서는 지도교수 추천서가 필요합니다.
  • 등록 페이지에서 동일하게 정보 작성하고 아래의 사항을 적용하여 등록합니다.
    • 참가신청 결제 - 결제방법: 계좌이체 선택
    • 입금 메모에 "특별할인" 기재
  • 구글폼을 통해 지원해 주시면 승인 시 메일에 결제 링크가 포함되어 전달됩니다.
  • 지원마감: 2024년 8월 1일
• 무료로 제공되는 식사는 수요일 저녁, 목요일 점심/저녁입니다.
• 번개 발표 / 포스터 등록 (마감: 8월 9일)

세종 발표상

• 이번 여름학교에서는 번개발표/포스터 세션 발표에서 쉬운 용어를 활용하여 이해하기 쉽게 발표를 잘하는 학생에게 세종 발표상을 수여합니다.
• 세종 발표상을 수상한 학생에게는 에어팟을 상품으로 제공해드릴 예정이며, SIGPL 홈페이지에 "최초로" 수상 기록이 남게됩니다.

최우수상	류연희	KAIST 프로그래밍 시스템 연구실
우수상	이재호 김준겸	서울대 프로그래밍 연구실 고려대 프로그래밍 언어 연구실
장려상	엄하은 권재성/장봉준 전종욱 홍재민	성균관대 소프트웨어보안 연구실 KAIST 프로그래밍 시스템 연구실 KAIST 동시성 및 병렬성 연구실 KAIST PLRG

숙박안내

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

근처 역	호텔	가격 (아고다 기준)	대중교통	자동차
수원역	노보텔 엠배서더 수원	144,500	18분	13분
	에스 스테이 호텔	47,000	20분	13분
서수원 터미널	호텔 앤드	51,000	21분	5분
	호텔 아마레	49,000	21분	5분

오시는 길

• 행사 장소: 성균관대학교 자연과학캠퍼스 삼성학술정보관 오디토리움 (B1)

후원

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

---

프로그래밍언어연구회