Jieung Kim

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Operating Systems Design and Implementation · 2016 · 162 citations

Engineering, Verification, Computer Architecture +23

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 68 citations · Full text

Engineering, Verification, Computer Architecture +19

Measurement of azimuthal correlations of D mesons with charged particles in pp collisions at $$\sqrt{s}=7$$ s = 7  TeV and p–Pb collisions at $${\sqrt{{{s}}_{\scriptscriptstyle {\mathrm{NN}}}}}=5.02$$ s NN = 5.02  TeV

J. Adam, D. Adamová, M. M. Aggarwal et al. · The European Physical Journal C · 2017 · 31 citations · Full text

Building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Communications of the ACM · 2019 · 30 citations · Full text

Engineering, Verification, Computer Architecture +19

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · ACM SIGPLAN Notices · 2018 · 13 citations · Full text

Engineering, Verification, Computer Architecture +18