Sishuai Gong
2 papers
· 2024–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
OSDI (2)
Top co-authors
Keywords
formal verification
(1)
virtual machine
(1)
memory safety
(1)
rust programming language
(1)
performance overhead
(1)
deterministic execution
(1)
confidential virtual machine
(1)
secure information flow
(1)
record and replay
(1)
kernel debugging
(1)
deterministic replay
(1)
bug reproduction
(1)
kernel record replay
(1)
execution recording
(1)
concurrent workload
(1)
record replay
(1)