한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2015)
(SIGPL Summer School 2015)
|
|---|
초대의 글
회원 여러분, 안녕하십니까? 프로그래밍언어연구회 여름학교는 지난 2003년부터 시작되어 그동안 이 분야의 최신 연구를 소개하고 서로 교류하는 장이 되어 왔습니다. 최근 들어 새로운 컴퓨팅 환경을 위한 다양한 프로그래밍 언어들이 소개되고 있습니다. 이번 여름학교에서는 각 분야를 대표하는 최신의 프로그래밍 언어로 Java 8, Haskell, Scala, C, Coq 등을 이 분야의 대표적인 연구자를 강사로 초청하여 함께 공부합니다. 이번 여름학교에 많은 분들이 참가하셔서 함께 공부하고 교류하는 장이 되기를 바랍니다.
회원 여러분의 많은 참석과 성원을 부탁드립니다. Let’s go together !
프로그래밍언어연구회 운영위원장 창병모 드림
조직위원장 조장우(동아대)
프로그램위원장 허충길(서울대)
프로그램위원 류석영(KAIST) 오학주(고려대) 최광훈(연세대)
프로그램
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
등록
- 사전등록 마감: 8월 14일
- 등록 방법: 등록페이지를 통하여 등록 할 수 있습니다.
- 등록비: 교육 기간 중의 숙박비 및 식비가 모두 포함됩니다.
학생 일반 사전 등록 200,000원 300,000원 현장 등록 250,000원 350,000원
강의 내용
[강연 1] 함수형 언어로서 Java 8, 박성우 교수 (POSTECH)
Java 8으로 넘어오면서 Java 언어에 함수형 언어 기능이 추가되었다. 함수형 언어에서처럼 함수를 인자로 넘기거나 결과값으로 반환할 수 있다. 본 강의에서는 함수형 언어로서의 Java 8에 대해서 살펴보고 Java 8의 기능을 활용한 예제를 통해서 실제 프로그래밍에서 함수형 스타일로 Java 프로그래밍 하는 방법을 익힌다.박성우 교수 소개
POSTECH 컴퓨터공학과 부교수.
Carnegie Mellon 대학 Computer Science 학과 박사 (2005).
프로그래밍 언어론 전공.
연구 분야: 프로그램 검증, 전산논리, Hadoop 계산 엔진.
[강연 2] 모나드 프로그래밍의 원리와 응용, 변석우 교수 (경성대)
순수(pure) 함수형 언어 Haskell에서는 Effect와 Control Flow를 표현하기 위해 모나드(Monad) 프로그래밍을 사용하고 있다. 본 강좌에서는 모나드의 원리를 소개하고, State Monad와 Parser Monad를 적용하여 명령형 언어의 Interpreter를 개발하는 사례를 소개한다. Purity, Type Checking, functions vs actions, Parser Monad, State Monad, Monad Transformer 등이 논의된다.[강연 3] 하스켈을 이용한 병렬 프로그래밍, 변석우 교수 (경성대)
Haskell의 순수성은 병렬 프로그래밍을 하기에 매우 유용한 특성이지만, 병렬 프로그래밍을 위해서는 Control Flow 및 Array 표현 등의 문제가 제기된다. 본 강좌에서는 Haskell의 WHNF을 기준으로 한 계산 원리를 소개하고 병렬화 구문들을 사용한 프로그래밍 예를 소개한다. 반자동 병렬화(par, pseq, rpar, rseq, deepseq. using), 데이터 종속성 표현(Ivar, MVar, new, put, get 등), 데이터 병렬성 Repa(REgular PArallel) 등이 논의된다.변석우 교수 소개
경성대학교 컴퓨터공학과 교수.
영국 University of East Anglia 박사.
ETRI책임연구원 (1982년 ~ 1999년).
숭실대학교 학사, 석사.
관심분야: 함수형 프로그래밍, 프로그래밍언어 의미론, 정형 증명
[강연 4] Functional Programming in Scala, 류석영 교수 (KAIST)
프로그래밍 언어 분야에서 Java를 대체할 만한 언어로 각광받고 있는 Scala를 소개합니다. 특히, 객체 지향 언어인 Scala에서 제공하는 함수형 프로그래밍 방법을 소개합니다.류석영 교수 소개
KAIST 전산학부 조교수.
KAIST 전산학부에서 프로그래밍 언어와 프로그램 분석을 가르치고 연구하고 있습니다. 자바스크립트 웹 앱을 분석하고 결함을 검출하는 SAFE 분석 도구와 Android 하이브리드 웹 앱 분석 기법을 연구 및 개발하고 있습니다.
[강연 5] Concurrent programming in Scala, 임현승 교수 (강원대)
고전적인 concurrent programming 방법론의 대안으로 actor 프로그래밍 기법을 소개합니다. 특히, Scala에서 지원하는 actor 모델을 소개합니다.임현승 교수 소개
강원대학교 컴퓨터과학과 조교수.
강원대학교 컴퓨터과학과에서 프로그래밍 언어 분야를 가르치고 연구하고 있습니다. 함수형 언어를 위한 타입 시스템과 모듈 시스템, 다양한 데이터를 안전하게 처리하기 위한 프로그래밍 기법 등을 연구, 개발하고 있습니다.
[강연 6] 증명 보조도구 Coq 소개, 허충길 교수 (서울대)
증명의 공리 체계만을 사용하여 엄밀하게 증명할 수 있도록 도와주는 Coq 증명 보조도구에 관해 소개한다. Coq은 이론적으로 흥미로울 뿐 아니라, 최근 소프트웨어 검증에도 점점 많이 사용되고 있어 실용적으로도 중요해지고 있다. 이 강연에서는 Coq의 재밌는 이론 소개와 함께 그 응용분야에 관해서도 간략하게 소개한다.[강연 7] C언어의 불편한 진실 및 해결책, 허충길 교수 (서울대)
C언어는 다른 프로그래밍 언어와 달리 주소와 정수간의 변환을 허용한다. 이는 C언어의 강력한 기능으로 Assembly 수준의 프로그래밍을 C에서 할 수 있도록 해준다. 하지만, 이러한 기능은 컴파일러가 최적화를 하는데 여러가지 문제를 야기시킨다. 이를 해결하기위해 현재 ISO C 표준에서는 C언어가 상상이상으로 복잡하게 정의되어 있다. 이러한 불편한 진실을 소개하고 이를 깔끔하게 해결한 우리의 연구도 소개한다.허충길 교수 소개
서울대학교 컴퓨터공학부 조교수.
영국 Microsoft Research Cambridge 박사후연구원 역임.
독일 Max Planck Institute for Software Systems 박사후연구원 역임.
프랑스 Laboratoire PPS 박사후연구원 역임.
University of Cambridge 박사 (2010).
연구 분야: 소프트웨어 (특히 컴파일러) 검증, 검증보조도구, 확률적 프로그래밍 언어.
[강연 8] 품질 및 보안성 향상을 위한 정적 분석도구 SPARROW, 진민식 수석 (파수닷컴)
SPARROW는 2007년 서울대학교 프로그래밍연구실과 파수닷컴이 협력하여 상용화한 정적 분석기이다. 프로그램의 소스코드에 존재하는 런타임 오류를 검출하는 정적 분석기에서 시작하여 보안문제로까지 검출 범위를 확장했던 과정과 SPARROW가 어디에서 어떻게 사용되고 있는 지를 소개 한다. 또한 산업계에 정적분석기를 적용하기 위해서 고려해야 했던 기술적/사업적인 요소들과 SPARROW의 발전 방향에 대해서 소개한다.진민식 수석 소개
진민식 수석은 서울대학교 프로그래밍연구실에서 석사학위를 받은 후 파수닷컴에서 정적 분석기 SPAROW를 상용화 하는 일을 하고 있다. 현재 web application을 개발할 때 사용하는 언어와 프레임워크에 대한 정적 분석기를 개발하는 PA개발1팀의 팀장으로 근무하고 있다.
[강연 9] 컴퓨터 과학이 여는 세계, 이광근 교수 (서울대)
최근 출간한 [컴퓨터과학의 세계]의 내용을 소개드리겠습니다. 아직 초반이지만 이 책이 제법 팔리고 있는듯 합니다. 저자로서 독자들의 반응이 제가 의도한 곳에서 일어나는지 궁금하기도 하고 염려되기도 합니다. 그 책을 구상하고 그렇게 밖에 구성하지 못한 그 뒷 이야기도 하겠습니다. 다음 버전에는 어떤 내용이 보강되어야 할 지, 또 이 책으로 계획하고 있는 것이 무엇인지도 상의드리겠습니다.이광근 교수 소개
서울대학교 컴퓨터공학부 교수.
KAIST 전산학과 교수 역임.
소프트웨어무결점연구센터(선도연구센터) 센터장 역임.
프로그램분석시스템연구단(창의 연구단) 단장 역임.
오시는길
-
동아대학교 부민캠퍼스 오시는길
국제관 위치 :
프로그래밍언어연구회