발행물

전체 논문

4

1

ThreadAbs: A Template for Building Verified Thread-local Interfaces with Software Scheduler Abstractions
Jieung Kim, Jeremie Koenig, Hao Chen, Ronghui Gu, Zhong Shao
Journal of Systems Architecture, 2024

2

SimplMM: A Simplified and Abstract Multicore Hardware Model for Large Scale System Software Formal Verification
Jieung Kim, Ronghui Gu, Zhong Shao
Journal of Systems Architecture, 2024

3

Building Certified Concurrent OS Kernels
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jeremie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjoberg, David Costanzo
Communications of the ACM, 2019

4

Provide abstracted specifications for concurrent software with formal verification
김지응
정보과학회지, 2023