Follow
Hao Chen
Hao Chen
Computer Science, Yale University
Verified email at yale.edu
Title
Cited by
Cited by
Year
{CertiKOS}: An extensible architecture for building certified concurrent {OS} kernels
R Gu, Z Shao, H Chen, XN Wu, J Kim, V Sjöberg, D Costanzo
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
3212016
Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
R Gu, Z Shao, H Chen
12th USENIX Symposium on Operating Systems Design and Implementation, OSDI, 2-4, 2016
1102016
Toward compositional verification of interruptible OS kernels and device drivers
H Chen, X Wu, Z Shao, J Lockerman, R Gu
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
692016
Certified concurrent abstraction layers
R Gu, Z Shao, J Kim, X Wu, J Koenig, V Sjöberg, H Chen, D Costanzo, ...
ACM SIGPLAN Notices 53 (4), 646-661, 2018
492018
Building certified concurrent OS kernels
R Gu, Z Shao, H Chen, J Kim, J Koenig, X Wu, V Sjöberg, D Costanzo
Communications of the ACM 62 (10), 89-99, 2019
372019
Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu. 2016. Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
H Chen
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
302016
Realizing the {Fault-Tolerance} Promise of Cloud Storage Using Locks with Intent
S Setty, C Su, JR Lorch, L Zhou, H Chen, P Patel, J Ren
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
182016
Toward compositional verification of interruptible os kernels and device drivers
H Chen, X Wu, Z Shao, J Lockerman, R Gu
Journal of Automated Reasoning 61, 141-189, 2018
162018
A new hierarchical software architecture towards safety-critical aspects of a drone system
X Zhu, C Liang, Z Yin, Z Shao, M Liu, H Chen
Frontiers of Information Technology & Electronic Engineering 20 (3), 353-362, 2019
82019
Blinder:{Partition-Oblivious} hierarchical scheduling
MK Yoon, M Liu, H Chen, JE Kim, Z Shao
30th USENIX Security Symposium (USENIX Security 21), 2417-2434, 2021
62021
Research on client/server communication mechanism in autosar system
H Chen, L Luo, H Yan, G Chen, S Gui
2013 IEEE 11th International Conference on Dependable, Autonomic and Secure …, 2013
42013
一种面向汽车电子的配置界面动态生成方法
晏华， 陈昊， 郭宣佑
计算机科学 40 (8), 172-175, 2013
32013
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation
M Liu, Z Shao, H Chen, MK Yoon, JE Kim
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 60-88, 2022
12022
支持安全策略检查的用户态驱动框架研究.
陈昊， 罗蕾， 李允， 陈丽蓉
Application Research of Computers/Jisuanji Yingyong Yanjiu 35 (4), 2018
12018
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions
J Kim, J Koenig, H Chen, R Gu, Z Shao
Journal of Systems Architecture 147, 103046, 2024
2024
下一代汽车软件系统运行时环境通信算法的研究
李允， 陈昊， 晏华
电子科技大学学报 41 (3), 429-434, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–16