Hao Chen

Orcid: 0000-0002-1180-9433

Affiliations:

University of Electronic Science and Technology of China, Chengdu, China
Yale University, New Haven, CT, USA

According to our database¹, Hao Chen authored at least 8 papers between 2016 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions.

[BibT_eX]

[DOI]

J. Syst. Archit., February, 2024

2022

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Blinder: Partition-Oblivious Hierarchical Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

2019

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

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., 2019

Building certified concurrent OS kernels.

[BibT_eX]

[DOI]

Commun. ACM, 2019

2018

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

Certified concurrent abstraction layers.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Hao Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...