Memory-Efficient Compressed Filesystem Architecture for NAND Flash-Based Embedded Systems. - Seunghwan Hyun; Sungyong Ahn; Sehwan Lee; Hyokyung Bahn; Kern Koh (ICCSA (1), 2007)

LeCramFS: an efficient compressed file system for flash-based portable consumer devices. - Seunghwan Hyun; Hyokyung Bahn; Kern Koh (IEEE Trans. Consumer Electron., 2007)

Improving the Demand Paging Performance with NAND-type Flash Memory. - Seunghwan Hyun; Sehwan Lee; Sungyong Ahn; Kern Koh (ICCSA Workshops, 2008)

Vector Read: Exploiting the Read Performance of Hybrid NAND Flash. - Seunghwan Hyun; Sehwan Lee; Sungyong Ahn; Hyokyung Bahn; Kern Koh (RTCSA, 2008)

A cost-aware page replacement algorithm for NAND flash based mobile embedded systems. - Junseok Park; Hyejeong Lee; Seunghwan Hyun; Kern Koh; Hyokyung Bahn (EMSOFT, 2009)

Improving Demand Paging Performance of Compressed Filesystem with NAND Flash Memory. - Sungyong Ahn; Seunghwan Hyun; Kern Koh (ICCSA Workshops, 2009)

Selective Context Switching on Flash Memory. - Sehwan Lee; Seunghwan Hyun; Kern Koh (ICCSA Workshops, 2009)

A compressed file system manager for flash memory based consumer electronics devices. - Sungyong Ahn; Seunghwan Hyun; Taeseok Kim; Hyokyung Bahn (IEEE Trans. Consumer Electron., 2013)

Diverse Inference and Verification for Advanced Reasoning. - Iddo Drori; Gaston Longhitano; Mao Mao; Seunghwan Hyun; Yuke Zhang; Sungjun Park; Zachary Meeks; Xin-Yu Zhang; Ben Segev; Howard Yong; Nakul Verma; Avi Shporer; et al. (CoRR, 2025)