Concepedia

Author

Jieung Kim

Yale UniversityORCID

Also Known As

J. Kim, Ji-Eung Kim, Jieung Kim

30

Publications

645

Citations

11

H-Index

15

Concepts

All Affiliations

Yale UniversityMicrosoft (United States)
JK

About

Jieung Kim is an author at Yale University specializing in formal methods, system software, and parallel computing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

273

2

Computer Engineering

4

4

273

3

Computer Science

4

4

273

4

Computer Architecture

4

4

273

5

Systems Engineering

1

1

68

Jieung Kim

×

7

Publications

325

Citations

7

H-Index

YearCitations

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen,

Operating Systems Design and Implementation

2016

162

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim,

2018

68

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,

The European Physical Journal C

2017

31

Building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen,

Communications of the ACM

2019

30

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim,

ACM SIGPLAN Notices

2018

13

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

Wolf Honoré, Jieung Kim, Ji-Yong Shin,

Proceedings of the ACM on Programming Languages

2021

11

WormSpace

Ji-Yong Shin, Jieung Kim, Wolf Honoré,

2019

10

Page 1