Research
I am interested in programming language theory and logic in computer science.
In particular,
I am interested in type theory, functional languages, parallel computation, and proof theory.
-
Hyeonseung Im and Sungwoo Park.
Group Skyline Computation.
Information Sciences (to appear).
-
Dongwon Kim, Hyeonseung Im, and Sungwoo Park.
Computing Exact Skyline Probabilities for Uncertain Databases.
IEEE TKDE (to appear).
-
Sungwoo Park and Hyeonseung Im.
A Modal Logic Internalizing Normal Proofs.
Information and Computation 209(12):1519-1535, October 2011.
[PDF]
-
Hyeonseung Im, Keiko Nakata, Jacques Garrigue, and Sungwoo Park.
A Syntactic Type System for Recursive Modules.
OOPSLA 2011.
[PDF]
-
Hyeonseung Im, Jonghyun Park, and Sungwoo Park.
Parallel skyline computation on multicore architectures.
Information Systems 36(4):808-823, June 2011.
[PDF]
-
Sungwoo park and Hyeonseung Im.
A calculus for hardware description.
Journal of Functional Programming 21(1):21-58, January 2011.
[PDF]
-
Sungwoo Park and Seung-won Hwang.
A logical account of uncertain databases based on linear logic.
ICDT 2009.
[PDF]
-
Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im.
Parallel skyline computation on multicore architectures.
ICDE 2009.
[PDF]
-
Sungwoo Park and Hyeonseung Im.
Type-safe higher-order channels with channel locality.
Journal of Functional Programming 19(1):107-142, January 2009.
[PDF]
-
Sungwoo Park, Frank Pfenning, and Sebastian Thrun.
A probabilistic language based upon sampling functions.
TOPLAS 31(1), December 2008.
[PDF]
-
Sungwoo Park, Jinha Kim, and Hyeonseung Im. Functional netlists.
ICFP 2008. ACM SIGPLAN Notices 43(9), September 2008.
[PDF]
-
Sungwoo Park.
Type-safe higher-order channels in ML-like languages.
ICFP 2007. ACM SIGPLAN Notices 42(9), September 2007.
[PDF]
-
Sungwoo Park.
A modal language for the safety of mobile values.
APLAS 2006. LNCS 4279, pp. 217--233, 2006.
[PDF]
-
Sungwoo Park, Frank Pfenning, and Sebastian Thrun.
A probabilistic language based upon sampling functions.
POPL 2005. ACM SIGPLAN Notices 40(1), January 2005.
[PDF]
-
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, and Sungwoo Park.
The inverse method for the Logic of Bunched Implications.
LPAR 2004.
LNAI 3452, pp. 466-480, March 2005.
[PDF]
-
Sungwoo Park.
A calculus for probabilistic languages.
TLDI 2003. ACM SIGPLAN Notices 38(3), March 2003.
[PDF]
-
Sungwoo Park and Taisook Han.
Iterative inversion of fuzzified neural networks.
IEEE transactions on Fuzzy Systems 8(3):266-280, June 2000.
[PDF]
Students
- 임현승 Hyeonseung Im (PhD '06)
- 박종현 Jonghyun Park (PhD '08, 청암 Graduate Fellowship 장학생)
- 김동원 Dongwon Kim (PhD '09)
- 서정봉 Jeongbong Seo (MS '11)
- 임정표 Jungpyo Im (MS '09 - Graduated)
- 김태경 Taekyung Kim (MS '07 - Graduated)
- 김진하 Jinha Kim (MS '06 - Graduated)
- 손민영 Minyoung Son (MS '06 - Graduated)
Teaching
- CSE-433 Logic in Computer Science, Fall 2011.
Course notes [PDF]
- CSE-321 Programming Languages, Spring 2011.
Course notes [PDF]
- 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 Introduction to Computing, Spring 2008.
Course notes (in Korean) [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
Sungwoo Park
Department of Computer Science and Engineering
Pohang University of Science and Technology
San 31 Hyoja-dong Nam-gu Pohang Gyeongbuk 790-784
Republic of Korea
Office: PIRL 334
Phone: +82-54-279-2386
Fax: +82-54-279-2299
Email: gla at postech dot ac dot kr
박성우
경북 포항시 남구 효자동 산 31 포항공과대학교 컴퓨터공학과
790-784
사무실: 정보통신연구소 334호
전화: 054-279-2386
이메일: gla at postech.ac.kr