USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Yigong Hu [Clear All Filters]
.
2020. Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :719--734.