Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. - Yigong Hu; Gongqi Huang; Peng Huang 005 (OSDI, 2020)

Pushing Performance Isolation Boundaries into Application with pBox. - Yigong Hu; Gongqi Huang; Peng Huang 005 (SOSP, 2023)

Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. - Gongqi Huang; Leon Schuermann; Amit Levy (KISV@SOSP, 2024)