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
2122016
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
822016
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
552016
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
382018
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
252019
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
222016
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 (1), 141-189, 2018
92018
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
42019
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
32013
种面向汽车电子的配置界面动态生成方法
晏华, 陈昊, 郭宣佑
计算机科学 40 (8), 2013
32013
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
22021
支持安全策略检查的用户态驱动框架研究
陈昊, 罗蕾, 李允, 陈丽蓉
计算机应用研究 35 (4), 1142-1149, 2018
2018
下一代汽车软件系统运行时环境通信算法的研究
李允, 陈昊, 晏华
电子科技大学学报 41 (3), 429-434, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–13