Dongyoon Lee
3 papers · 2022–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(3)
Conferences
OSDI (3)
Top co-authors
Keywords
bug detection
(1)
durable linearizability
(1)
concurrent data structure
(1)
adversarial testing
(1)
thread interleaving
(1)
intermittent computing
(1)
crash consistency
(1)
energy harvesting
(1)
embedded operating system
(1)
heap overflow detection
(1)
memory safety
(1)
pointer tagging
(1)
page protection
(1)
buffer overflow
(1)
Papers
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing
OSDI 2024
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
OSDI 2023
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
OSDI 2022