Hao Chen

According to our database, Hao Chen authored at least 12 papers between 2016 and 2026.

Collaborative distances:

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

2026

Ringmaster: How to juggle high-throughput host OS system calls from TrustZone TEEs.

Richard Thomas Habeeb, Man-Ki Yoon, Hao Chen, Zhong Shao

Proceedings of the 24th Annual International Conference on Mobile Systems, 2026

2025

CortenMM: Efficient Memory Management with Strong Correctness Guarantees.

Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

It's a Non-Stop PARTEE! Practical Multi-Enclave Availability Through Partitioning and Asynchrony.

Richard Habeeb, Hao Chen, Man-Ki Yoon, Zhong Shao

Proceedings of the IEEE Annual Computer Security Applications Conference, 2025

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

A NAND Use Case for Cybersecurity Experiments.

Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao

Proceedings of the IEEE Secure Development Conference, 2024

2022

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.

Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim

Proc. ACM Program. Lang., 2022

2021

Blinder: Partition-Oblivious Hierarchical Scheduling.

Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao

Proceedings of the 30th USENIX Security Symposium, 2021

2019

A new hierarchical software architecture towards safety-critical aspects of a drone system.

Xiaorui Zhu, Chen Liang, Zhen-guo Yin, Zhong Shao, Meng-qi Liu, Hao Chen

Frontiers Inf. Technol. Electron. Eng., 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

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

2016

Toward compositional verification of interruptible OS kernels and device drivers.

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 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