Jin-yong Choi

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)
Eyee Hyun Nam, Ki Seok Choi, Jin-yong Choi, Hang Jun Min, Sang Lyul Min
Hardware Platforms for Flash Memory/NVRAM Software Development. J. Comput. Sci. Eng. 3 (3) (2009)
Hongseok Kim, Eyee Hyun Nam, Ki Seok Choi, Yoon Jae Seong, Jin-yong Choi, Sang Lyul Min
Development Platforms for Flash Memory Solid State Disks. ISORC (2008)
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)