Access pattern based stream buffer management scheme for portable media players. - Heejin Ahn; Seongjin Cho; Hyunik Na; Hwansoo Han (IEEE Trans. Consumer Electron., 2009)

Exact type parameterization and ThisType support. - Hyunik Na; Sukyoung Ryu; Kwangmoo Choe (TLDI, 2012)

ThisJava: An Extension of Java with Exact Types. - Hyunik Na; Sukyoung Ryu (APLAS, 2013)

A New Formalization of Subtyping to Match Subclasses to Subtypes. - Hyunik Na; Sukyoung Ryu (FLOPS, 2014)