| 2009 |
|---|
| 13 | EE | Sungwoo Park,
Taekyung Kim,
Jonghyun Park,
Jinha Kim,
Hyeonseung Im:
Parallel Skyline Computation on Multicore Architectures.
ICDE 2009: 760-771 |
| 12 | EE | Sungwoo Park,
Seung-won Hwang:
A logical account of uncertain databases based on linear logic.
ICDT 2009: 141-148 |
| 11 | EE | Sungwoo Park,
Hyeonseung Im:
Type-safe higher-order channels with channel locality.
J. Funct. Program. 19(1): 107-142 (2009) |
| 2008 |
|---|
| 10 | EE | Sungwoo Park,
Jinha Kim,
Hyeonseung Im:
Functional netlists.
ICFP 2008: 353-366 |
| 9 | EE | Sungwoo Park,
Frank Pfenning,
Sebastian Thrun:
A probabilistic language based on sampling functions.
ACM Trans. Program. Lang. Syst. 31(1): (2008) |
| 2007 |
|---|
| 8 | EE | Sungwoo Park:
Type-safe higher-order channels in ML-like languages.
ICFP 2007: 191-202 |
| 2006 |
|---|
| 7 | EE | Sungwoo Park:
A Modal Language for the Safety of Mobile Values.
APLAS 2006: 217-233 |
| 2005 |
|---|
| 6 | EE | Sungwoo Park,
Frank Pfenning,
Sebastian Thrun:
A probabilistic language based upon sampling functions.
POPL 2005: 171-182 |
| 2004 |
|---|
| 5 | EE | Kevin Donnelly,
Tyler Gibson,
Neel Krishnaswami,
Stephen Magill,
Sungwoo Park:
The Inverse Method for the Logic of Bunched Implications.
LPAR 2004: 466-480 |
| 4 | EE | Sungwoo Park,
Hyundong Shin,
Jae Hong Lee:
Capacity statistics and scheduling gain for MIMO systems in correlated Rayleigh fading.
VTC Fall (2) 2004: 1508-1512 |
| 2003 |
|---|
| 3 | EE | Sungwoo Park:
A calculus for probabilistic languages.
TLDI 2003: 38-49 |
| 2 | EE | Sungwoo Park:
A calculus for probabilistic languages.
TLDI 2003: 38-49 |
| 1997 |
|---|
| 1 | EE | Sungwoo Park,
Taisook Han:
Object-Oriented VRML for Multi-User Environments.
VRML 1997: 25-32 |
