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 |