Login / Signup
Sookwan Lee
ORCID
Publication Activity (10 Years)
Years Active: 2007-2018
Publications (10 Years): 1
Top Topics
Provably Correct
Information Processing
Main Contribution
Top Venues
ACM Trans. Storage
</>
Publications
</>
Jin-yong Choi
,
Eyee Hyun Nam
,
Yoon Jae Seong
,
Jinhyuk Yoon
,
Sookwan Lee
,
Hongseok Kim
,
Jeongsu Park
,
Yeong-Jae Woo
,
Sheayun Lee
,
Sang Lyul Min
HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery.
ACM Trans. Storage
14 (4) (2018)
Yoon Jae Seong
,
Eyee Hyun Nam
,
Jinhyuk Yoon
,
Hongseok Kim
,
Jin-yong Choi
,
Sookwan Lee
,
Young Hyun Bae
,
Jaejin Lee
,
Yookun Cho
,
Sang Lyul Min
Hydra: A Block-Mapped Parallel Flash Memory Solid-State Disk Architecture.
IEEE Trans. Computers
59 (7) (2010)
Jin-yong Choi
,
Ki Seok Choi
,
Sung-Kwan Kim
,
Sookwan Lee
,
Eyee Hyun Nam
,
JiHyuck Yun
,
Sang Lyul Min
,
Yookun Cho
Flash memory-based storage device for mobile embedded applications.
SMC
(2007)