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
2722016
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
1052016
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
712016
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
472018
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
342019
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
292016
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
122016
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
102018
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
72019
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
52021
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
支持安全策略检查的用户态驱动框架研究
陈昊， 罗蕾， 李允， 陈丽蓉
计算机应用研究 35 (4), 1142-1149, 2018
12018
下一代汽车软件系统运行时环境通信算法的研究
李允， 陈昊， 晏华
电子科技大学学报 41 (3), 429-434, 2012
2012
Thrdabs: A Template to Build Verified Thread-Local Interfaces with Software Scheduler Abstractions
J Kim, J Koenig, H Chen, R Gu, Z Shao
Available at SSRN 4450399, 0
The system can't perform the operation now. Try again later.
Articles 1–16