EDBT 2026 Demo / reviewers in the wild / expert
Sookwan Lee
dblp:34/4560
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 2018
0000-0002-9499-3802ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2Human-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Storage systems · 87% Electronic design automation · 13% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Storage systems › flash and SSD › flash memory management
flash translation layer |
0.4 | 2 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 Hydra: A Block-Mapped Parallel Flash Memory Solid-State Disk Architecture · IEEE Trans. Computers 2010 |
Storage systems
crash recovery |
0.3 | 1 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 |
Storage systems
storage reliability |
0.3 | 1 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 |
Storage systems
flash and SSD |
0.1 | 1 | 2010 | Hydra: A Block-Mapped Parallel Flash Memory Solid-State Disk Architecture · IEEE Trans. Computers 2010 |
Storage systems › flash and SSD
SSD architecture |
0.1 | 1 | 2010 | Hydra: A Block-Mapped Parallel Flash Memory Solid-State Disk Architecture · IEEE Trans. Computers 2010 |
Electronic design automation › hardware verification and test
formal verification |
0.1 | 1 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 |
Electronic design automation › hardware verification and test
hardware verification |
0.1 | 1 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 |
Methods — techniques the papers use, named apart from their topics
shadow paging · 0.3redo-only replay · 0.3idempotent recovery · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash RecoveryabstractWe present a framework called Hierarchically Interacting Logs (HIL) for constructing Flash Translation Layers (FTLs). The main goal of the HIL framework is to heal the Achilles heel —the crash recovery—of FTLs (hence, its name). Nonetheless, the framework itself is general enough to encompass not only block-mapped and page-mapped FTLs but also many of their variants, including hybrid ones, because of its compositional nature. Crash recovery within the HIL framework proceeds in two phases: structural recovery and functional recovery. During the structural recovery, residual effects due to program operations ongoing at the time of the crash are eliminated in an atomic manner using shadow paging. During the functional recovery, operations that would have been performed if there had been no crash are replayed in a redo-only fashion. Both phases operate in an idempotent manner, preventing repeated crashes during recovery from causing any additional problems. We demonstrate the practicality of the proposed HIL framework by implementing a prototype and showing that its performance during normal execution and also during crash recovery is at least as good as those of state-of-the-art SSDs. 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 |
ACM Trans. Storage | 5 |
| 2010 | Hydra: A Block-Mapped Parallel Flash Memory Solid-State Disk ArchitectureabstractFlash memory solid-state disks (SSDs) are replacing hard disk drives (HDDs) in mobile computing systems because of their lower power consumption, faster random access, and greater shock resistance. We describe Hydra, a high-performance flash memory SSD architecture that translates the parallelism inherent in multiple flash memory chips into improved performance, by means of both bus-level and chip-level interleaving. Hydra has a prioritized structure of memory controllers, consisting of a single high-priority foreground unit, to deal with read requests, and multiple background units, all capable of autonomous execution of sequences of high-level flash memory operations. Hydra also employs an aggressive write buffering mechanism based on block mapping to ensure that multiple flash memory chips are used effectively, and also to expedite the processing of write requests. Performance evaluation of an FPGA implementation of the Hydra SSD architecture shows that its performance is more than 80 percent better than the best of the comparable HDDs and SSDs that we considered. 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 |
IEEE Trans. Computers | 6 |
| 2007 | Flash memory-based storage device for mobile embedded applicationsabstractThis paper reviews Flash memory technology and flash translation layer (FTL) that provides a block device interface out of flash memory. It also describes two implementations of FTL that represent two extreme points in the spectrum of cost-performance trade-offs in FTL implementation. After presenting results on the performance and energy- efficiency of the two FTLs, this paper argues for a configurable FTL to address the diversity of mobile embedded systems in terms of cost and performance requirements. Jin-Yong Choi, Kiseok Choi 0001, Sung-Kwan Kim, Sookwan Lee, Eyee Hyun Nam, JiHyuck Yun, Sang Lyul Min, Yookun Cho |
SMC | 4 |