Demo Data from EDBT 2026 / reviewers in the wild / expert
Sheayun Lee
dblp:86/796
· DBLP profile ↗
9ranked-venue papers
5as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 6 · 3 first-authorArtificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
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 · 66% Memory systems · 13% Hardware accelerators and domain-specific architectures · 13% |
Topics — the 8 heaviest of 9, 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.7 | 2 | 2018 | HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery · ACM Trans. Storage 2018 FMMU: a hardware-accelerated flash map management unit for scalable performance of flash-based SSDs · DAC 2018 |
Memory systems › memory management › virtual memory
address translation |
0.3 | 1 | 2018 | FMMU: a hardware-accelerated flash map management unit for scalable performance of flash-based SSDs · DAC 2018 |
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 › flash and SSD › solid-state drive
flash-based SSD |
0.3 | 1 | 2018 | FMMU: a hardware-accelerated flash map management unit for scalable performance of flash-based SSDs · DAC 2018 |
Hardware accelerators and domain-specific architectures › domain-specific accelerator
storage accelerator |
0.3 | 1 | 2018 | FMMU: a hardware-accelerated flash map management unit for scalable performance of flash-based SSDs · DAC 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 |
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 |
|---|---|---|---|
| 2022 | Fall Detection using Biometric Information Based on Multi-Horizon ForecastingabstractWith the steady growth of the aging population, there has been increasing interest in the health of elderly people. In particular, a physical fall can be fatal for the elderly or result in complications that cause more serious physical and mental damage than the cause of the falls. For this reason, it is important to accurately predict the occurrence of abnormal behavior in advance. Although existing methods can be used to analyze general behavioral characteristics, personalized and customized behavioral prediction remains challenging. In this paper, we propose a customized pre-prediction method using sensor wearers’ biometric information as well as behavioral data reflecting the wearers’ unique behavioral characteristics. The technique is based on a temporal fusion transformers method [1] that can be effectively applied to multi-horizon forecasting. A performance evaluation was made to compare the effects of including and excluding biometric information to quantitatively evaluate the enhancement achieved by extending the prediction model. The use of additional biometric information enabled superior performance with 0.9702, 0.9702, 0.9702, 0.9883 in F-1 score, precision, recall respectively, which is all evaluation indicators. The code for the experiments can be found at the following GitHub address: https://github.com/IKKIM00/Fall_Detection_using_multihorizon_forecasting. Inkyung Kim, Daehee Kim 0003, Sunyoung Kwon, Sheayun Lee, Jaekoo Lee |
ICPR | 4 |
| 2018 | FMMU: a hardware-accelerated flash map management unit for scalable performance of flash-based SSDsabstractAddress translation is increasingly a performance bottleneck in flash-based SSDs (solid state drives). We propose a hardware-accelerated flash map management unit called FMMU to speed up the address translation. The FMMU operates in a non-blocking manner without any involvement of software and uses in-cache linked list to enhance the performance of flush operations. Simulation study shows that the FMMU improves IOPS (I/O operations per second) by 135 % on average when compared against software-only approaches. The results also show that the performance gap widens as the number of flash chips/buses and the host interface speed increase. Yeong-Jae Woo, Sheayun Lee, Sang Lyul Min |
DAC | 2 |
| 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 | 9 |
| 2017 | P-BMS: A Bad Block Management Scheme in Parallelized Flash Memory Storage DevicesabstractFlash memory is used as a main data storage medium in increasingly large areas of applications, rapidly replacing hard disk drives because of its low power consumption, fast random access, and high shock resistance. Such flash-based storage devices generally incorporate multiple flash memory chips to meet the ever growing capacity demands. Using multiple chips in a single storage device, at the same time, opens an opportunity to boost the performance based on multi-unit parallelism. However, parallel execution of multiple flash operations introduces complications when bad blocks occur, which is unavoidable due to flash memory’s physical characteristics. The situation gets even worse when bad block occurrences are accompanied by sudden power failures. We propose a bad block management scheme called P-BMS that can fully utilize flash-level parallelism, while guaranteeing provably correct block replacement. Experiments show that our P-BMS achieves a throughput that is more than 95% of the maximum bandwidth of the flash controller, even with bad block occurrences far heavier than in real flash memory. Hongseok Kim, Eyee Hyun Nam, JiHyuck Yun, Sheayun Lee, Sang Lyul Min |
ACM Trans. Embed. Comput. Syst. | 4 |
| 2008 | A design framework for real-time embedded systems with code size and energy constraintsabstractReal-time embedded systems are typically constrained in terms of three system performance criteria: space, time, and energy. The performance requirements are directly translated into constraints imposed on the system's resources, such as code size, execution time, and energy consumption. These resource constraints often interact or even conflict with each other in a complex manner, making it difficult for a system developer to apply a well-defined design methodology in developing a real-time embedded system. Motivated by this observation, we propose a design framework that can flexibly balance the tradeoff involving the system's code size, execution time, and energy consumption. Given a system specification and an optimization criteria, the proposed technique generates a set of design parameters in such a way that a system cost function is minimized while the given resource constraints are satisfied. Specifically, the technique derives code generation decision for each task so that a specific version of code is selected among a number of different ones that have distinct characteristics in terms of code size and execution time. In addition, the design framework determines the voltage/frequency setting for a variable voltage processor whose supply voltage can be adjusted at runtime in order to minimize the energy consumption while execution performance is degraded accordingly. The proposed technique formulates this design process as a constrained optimization problem. We show that this optimization problem is NP-hard and then provide a heuristic solution to it. We show that these seemingly conflicting design goals can be pursued by using a simple optimization algorithm that works with a single optimization criteria. Moreover, the optimization is driven by an abstract system specification given by the system developer, so that the system development process can be automated. The results from our simulation show that the proposed algorithm finds a solution that is close to the optimal one with the average error smaller than 1.0%. Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee 0001, Sang Lyul Min |
ACM Trans. Embed. Comput. Syst. | 1 |
| 2007 | Selective code transformation for dual instruction set processorsabstractEmbedded systems are often constrained in terms of both code size and execution time, because of a limited amount of available memory and real-time nature of applications. A dual instruction set processor, which supports a reduced instruction set (16 bits/instruction), in addition to a full instruction set (32 bits/instruction), allows an opportunity for a tradeoff between these two design criteria. Specifically, while the reduced instruction set can be used to reduce code size by providing smaller instructions, a program compiled into the reduced instruction set typically runs slower than the same program compiled into the full instruction set. Motivated by this observation, we propose a code generation technique that exploits this tradeoff relationship by selectively using the two instruction sets for different sections in the program. The proposed technique, called selective code transformation, not only provides a mechanism to enable a flexible tradeoff between a program's code size and its execution time, but also facilitates program optimization toward enhancing its worst case performance. The results from our experiments show that our proposed technique can be effectively used to fine-tune an application program on a spectrum of code size and execution performance, which, in turn, enables a system-wide optimization on memory space and execution speed involving multiple applications. Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min |
ACM Trans. Embed. Comput. Syst. | 1 |
| 2004 | A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor
Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min |
SCOPES | 1 |
| 2003 | Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation
Sheayun Lee, Jaejin Lee, Sang Lyul Min, Jason Hiser, Jack W. Davidson |
SCOPES | 1 |
| 1999 | Cache-Conscious Limited Preemptive Scheduling
Sheayun Lee, Sang Lyul Min, Chong-Sang Kim, Chang-Gun Lee, Minsuk Lee |
Real Time Syst. | 1 |