Yuzhuo Jing
3 papers
· 2022–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
🌉
Interdisciplinary Bridge
Conferences
OSDI (3)
Top co-authors
Research topics
Keywords
distributed system
(2)
static analysis
(2)
fault detection
(2)
process isolation
(1)
address space
(1)
linux kernel
(1)
runtime verification
(1)
semantic violation
(1)
dynamic analysis
(1)
semantic checker
(1)
runtime checker
(1)
task isolation
(1)
silent failure
(1)
test transformation
(1)
kernel implementation
(1)
state synchronization
(1)
address space isolation
(1)
orbit abstraction
(1)
auxiliary task
(1)
operating system
(1)