conftrace_
← Authors

Jieung Kim

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

Achievements

Jump to papers ↓
๐Ÿงญ 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