Yoon Jae Seong

Publication Activity (10 Years)

Years Active: 2008-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)
Jinhyuk Yoon, Eyee Hyun Nam, Yoon Jae Seong, Hongseok Kim, Bryan Suk Kim, Sang Lyul Min, Yookun Cho
Chameleon: A High Performance Flash/FRAM Hybrid Solid State Disk Architecture. IEEE Comput. Archit. Lett. 7 (1) (2008)
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)