| 2026 | TACAS | A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. | Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger |
| 2023 | DAC | INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms. | Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik |
| 2021 | ICCAD | Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables. | Yu Zeng, Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik |
| 2019 | TACAS | ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. | Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik |
| 2018 | DAC | Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware. | Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik |
| 2018 | ICCAD | A formal instruction-level GPU model for scalable verification. | Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik |
| 2015 | ICCAD | Asynchronous QDI Circuit Synthesis from Signal Transition Protocols. | Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang |