Sungwoo Park 박성우 - Welcome! 환영합니다!

About me

Associate Professor 부교수
Programming Language Laboratory 프로그래밍언어 연구실
Computer Science and Engineering Department 컴퓨터공학과
Pohang University of Science and Technology POSTECH

I received my BS and MS in Computer Science from KAIST. I received my PhD in Computer Science from Computer Science Department of Carnegie Mellon University under the supervision of Professor Frank Pfenning in 2005. I joined Computer Science and Engineering Department of POSTECH in 2006.

KAIST 전산학과 학부를 1996년, 석사를 1998년 졸업하였습니다. 미국 카네기멜런 대학 컴퓨터과학과에 한국인 최초로 박사과정 입학허가를 받아 1999년 입학하였고, Frank Pfenning 교수님의 지도아래 프로그래밍언어론과 전산논리학을 전공하여 2005년 8월 "A Programming Language for Probabilistic Computation"이라는 주제로 박사학위를 취득하였습니다. 2006년 1월부터 POSTECH 컴퓨터공학과에 재직중이며 프로그래밍언어 연구실을 운영하고 있습니다.

MR3

https://mr3.postech.ac.kr

MR3 is a new execution engine for Hadoop. Similar in spirit to Tez, it can be thought of as an enhancement of Tez with simpler design, better performance, and more features. MR3 is ready for production use as it supports all major features from Tez such as Kerberos-based security, authentication and authorization, fault-tolerance, and recovery. MR3 is implemented in Scala.

Hive-MR3 is an extension of Hive that runs on top of MR3. In order to exploit new features in MR3, Hive-MR3 is built on a modified backend of Hive. In comparison with Hive-on-Tez, Hive-MR3 generally runs faster for sequential queries by virtue of the simple architectual design of ApplicationMaster in MR3. In particular, it makes a better utilization of computing resources and thus yields a higher throughput for concurrent queries.

We are hiring developers who will contribute to the MR3 project. Prior experience with Scala programming or Hadoop is not required, but applicants should have working experience with Linux-based distributed Java programming. Applicants are invited to contact Professor Sungwoo Park (gla at postech.ac.kr). We communicate in English for technical discussions, so applicants should have a working command of English.

MR3 연구에 참여할 학생을 모집합니다. 빅데이터, Hadoop, 소프트웨어 개발에 관심있는 학생이면 됩니다. MR3는 Scala로 개발하고 있습니다.

POSTECH 컴퓨팅사고력센터

https://ct.postech.ac.kr

• 누구나 컴퓨팅 사고를 익힐 수 있도록 전문성 갖춘 강좌를 무료로 제공하는 서비스입니다.
• 컴퓨팅으로 문제를 풀 때 핵심이라 할 수 있는 컴퓨팅 사고를 Python 언어와 함께 설명합니다.
• 별도의 소프트웨어 설치 없이 바로 사용할 수 있는 Python 프로그래밍 환경을 제공합니다.
• 프로그래밍 숙제는 자동으로 채점해서 결과를 설명해주고 프로그램 분석 기술을 이용하여 틀린 곳까지 찾아줍니다.
• 학원이나 코딩 교육 사이트보다 월등히 높은 수준의 교육 서비스를 무료로 제공합니다.

• 프로그램 분석 연구에 관심있는 학생을 모집합니다. 학부 프로그래밍언어 과목을 수강한 학생이면 됩니다. 프로그램 분석기는 Scala로 개발하고 있습니다.

Publications

1. A Proof System for Separation Logic with Magic Wand.
   Wonyeol Lee and Sungwoo Park.
   POPL 2014. [Webpage]
2. Judgmental Subtyping Systems with Intersection Types and Modal Types.
   Jeongbong Seo and Sungwoo Park.
   Acta Informatica 50(7):359-380, October 2013. [Webpage]
3. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
   Hyeonseung Im, Keiko Nakata, and Sungwoo Park.
   ICALP 2013, Part II, pp. 299-311. [PDF]
4. Mechanizing Metatheory without Typing Contexts.
   Jonghyun Park, Jeongbong Seo, Sungwoo Park, and Gyesik Lee.
   Journal of Automated Reasoning 52(2):215-239, April 2013. [Webpage] (with a solution to the POPLmark challenge)
5. A Theorem Prover for Boolean BI.
   Jonghyun Park, Jeongbong Seo, and Sungwoo Park.
   POPL 2013. ACM SIGPLAN Notices 48(1):219-232, January 2013. [Webpage]
6. Computing Exact Skyline Probabilities for Uncertain Databases.
   Dongwon Kim, Hyeonseung Im, and Sungwoo Park.
   IEEE Transactions on Knowledge and Data Engineering (TKDE) 24(12):2113-2126, December 2012. [PDF]
7. Group Skyline Computation.
   Hyeonseung Im and Sungwoo Park.
   Information Sciences 188:151-169, April 2012. [PDF]
8. A Modal Logic Internalizing Normal Proofs.
   Sungwoo Park and Hyeonseung Im.
   Information and Computation 209(12):1519-1535, October 2011. [PDF]
9. A Syntactic Type System for Recursive Modules.
   Hyeonseung Im, Keiko Nakata, Jacques Garrigue, and Sungwoo Park.
   OOPSLA 2011. ACM SIGPLAN Notices 46(10):993-1012, October 2011. [PDF]
10. Parallel skyline computation on multicore architectures.
    Hyeonseung Im, Jonghyun Park, and Sungwoo Park.
    Information Systems 36(4):808-823, June 2011. [PDF]
    Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im.
    ICDE 2009, pp. 760-771. [PDF]
11. A calculus for hardware description.
    Sungwoo Park and Hyeonseung Im.
    Journal of Functional Programming 21(1):21-58, January 2011. [PDF]
    Functional netlists.
    Sungwoo Park, Jinha Kim, and Hyeonseung Im.
    ICFP 2008. ACM SIGPLAN Notices 43(9):353-366, September 2008. [PDF]
12. Type-safe higher-order channels with channel locality.
    Sungwoo Park and Hyeonseung Im.
    Journal of Functional Programming 19(1):107-142, January 2009. [PDF]
    Type-safe higher-order channels in ML-like languages.
    Sungwoo Park.
    ICFP 2007. ACM SIGPLAN Notices 42(9):191-202, September 2007. [PDF]
13. A logical account of uncertain databases based on linear logic.
    Sungwoo Park and Seung-won Hwang.
    ICDT 2009, pp. 141-148. [PDF]
14. A probabilistic language based upon sampling functions.
    Sungwoo Park, Frank Pfenning, and Sebastian Thrun.
    TOPLAS 31(1), Article 4, December 2008. [PDF]
    POPL 2005. ACM SIGPLAN Notices 40(1):171-182, January 2005. [PDF]
15. A modal language for the safety of mobile values.
    Sungwoo Park.
    APLAS 2006. LNCS 4279, pp. 217-233, November 2006. [PDF]

Teaching

Courses that I taught since 2006:

• CSE-321 Programming Languages, Spring 2014. Course notes [PDF]
• CSE-433 Logic in Computer Science, Fall 2014. Course notes [PDF]
• CSE-321 Programming Languages, Spring 2014.
• CSE-433 Logic in Computer Science, Fall 2013.
• CSE-321 Programming Languages, Spring 2013.
• CSE-321 Programming Languages, Spring 2012.
• CSE-433 Logic in Computer Science, Fall 2011.
• CSE-321 Programming Languages, Spring 2011.
• CSE-433 Logic in Computer Science, Fall 2010.
• CSE-321 Programming Languages, Spring 2010.
• CSE-499 과제연구, Spring 2010.
• CSE-433 Logic in Computer Science, Fall 2009.
• CSE-321 Programming Languages, Spring 2009.
• CSE-499 과제연구, Fall 2008.
• EECS-101 전자계산입문 , Spring 2008. 강의교재 [PS, PDF]
• CSE-700 Parallel Programming, Fall 2007
• CSE-433 Logic in Computer Science, Fall 2007.
• CSE-321 Programming Languages, Spring 2007
• CSE-490 Logic in Computer Science, Fall 2006
• CSE-321 Programming Languages, Spring 2006

GRE Word List

Sungwoo Park Department of Computer Science and Engineering Pohang University of Science and Technology 77 Cheongam-Ro Nam-Gu Pohang Gyeongbuk 37673 Republic of Korea		박성우 경북 포항시 남구 효자동 산 31 포항공과대학교 컴퓨터공학과 37673
Office: PIRL 334 Phone: +82-54-279-2386 Fax: +82-54-279-5539 Email: gla at postech dot ac dot kr		사무실: 정보통신연구소 334호 전화: 054-279-2386 이메일: gla at postech.ac.kr