Gongqi Huang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Bayesian Networks

Symbolic Execution

Automated Reasoning

Top Venues

Publications

Yigong Hu, Gongqi Huang, Peng Huang
Pushing Performance Isolation Boundaries into Application with pBox. SOSP (2023)
Yigong Hu, Gongqi Huang, Peng Huang
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. CoRR (2020)
Yigong Hu, Gongqi Huang, Peng Huang
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. OSDI (2020)