Bo-Yuan Huang

15 papers A* 2A 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module.
TACAS (2)
Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger
2024 J jnl
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.
ACM Trans. Design Autom. Electr. Syst.
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
2023 A* conf
INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms.
DAC
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
2022 J jnl
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.
CoRR
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
2021 A conf
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables.
ICCAD
Yu Zeng, Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
2020 — conf
Intelligent REST API data fuzzing.
ESEC/SIGSOFT FSE
Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
2019 — conf
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.
TACAS (1)
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
2019 J jnl
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.
ACM Trans. Design Autom. Electr. Syst.
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
2018 A conf
A formal instruction-level GPU model for scalable verification.
ICCAD
Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik
2018 A* conf
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.
DAC
Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik
2018 J jnl
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.
CoRR
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
2018 J jnl
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik
2017 J jnl
Protocol Design and Game Theoretic Solutions for Device-to-Device Radio Resource Allocation.
IEEE Trans. Veh. Technol.
Shih-Tang Su, Bo-Yuan Huang, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei
2015 A conf
Asynchronous QDI Circuit Synthesis from Signal Transition Protocols.
ICCAD
Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang
2014 — conf
Resource allocation in D2D communication - A game theoretic approach.
ICC Workshops
Bo-Yuan Huang, Shih-Tang Su, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei