발행물
컨퍼런스
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jeremie Koenig, Vilhelm Sjoberg, Hao Chen, David Costanzo, and Tahina Ramananandro
2018
,
Certified Concurrent Abstraction Layers
Jieung Kim, Vilhelm Sjoberg, Ronghui Gu, and Zhong Shao
1970
Safety and Liveness of MCS Lock—Layer by Layer
Jieung Kim
2017
Ronghui Gu
2016
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels