Jieung Kim

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (8) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 📈 Trend Setter

Conferences

OSDI (1)

Top co-authors

Xiongnan (Newman) Wu (1) Vilhelm Sjöberg (1) Zhong Shao (1) Hao Chen (1) David Costanzo (1) Ronghui Gu (1)

Keywords

theorem proving (1) formal verification (1) concurrent operating system (1) refinement property (1) coq proof assistant (1) certified software (1) operating system kernel (1) concurrent program (1) contextual refinement (1)

Papers

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016