Dongyoon Lee
3 papers · 2022–2024 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Venues
Top co-authors
Research topics
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