Gongqi Huang
Orcid: 0009-0006-9155-1298
According to our database1,
Gongqi Huang
authored at least 3 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024
2023
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
2020
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020