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

About me


POSTECH 컴퓨팅사고력센터


  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]


Courses that I taught since 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 포항공과대학교 컴퓨터공학과

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