Jieung Kim

According to our database, Jieung Kim authored at least 11 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions.

Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao

J. Syst. Archit., February, 2024

SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification.

Jieung Kim, Ronghui Gu, Zhong Shao

J. Syst. Archit., February, 2024

2022

Adore: atomic distributed objects with certified reconfiguration.

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

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

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

Proc. ACM Program. Lang., 2021

2019

Building certified concurrent OS kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo

Commun. ACM, 2019

WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.

Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018

Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Safety and Liveness of MCS Lock - Layer by Layer.

Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

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

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2013

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.

Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.

Jieung Kim, Sukyoung Ryu

Proceedings of the Certified Programs and Proofs - First International Conference, 2011