Sungwoo Park

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

Coauthor Index

1	Kevin Donnelly	[5]
2	Tyler Gibson	[5]
3	Taisook Han	[1]
4	Neel Krishnaswami	[5]
5	Jae Hong Lee	[4]
6	Stephen Magill	[5]
7	Frank Pfenning	[6]
8	Hyundong Shin	[4]
9	Sebastian Thrun	[6]

Colors in the list of coauthors