Bo-Yuan Huang

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 12

Top Topics

Abstraction Layer

Hardware Designs

Resource Allocation

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

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
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst. 29 (2) (2024)
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms. DAC (2023)
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
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. CoRR (2022)
Yu Zeng, Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables. ICCAD (2021)
Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
Intelligent REST API data fuzzing. ESEC/SIGSOFT FSE (2020)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. ACM Trans. Design Autom. Electr. Syst. 24 (1) (2019)
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. TACAS (1) (2019)
Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (8) (2018)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. CoRR (2018)
Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik
A formal instruction-level GPU model for scalable verification. ICCAD (2018)
Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware. DAC (2018)
Shih-Tang Su, Bo-Yuan Huang, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei
Protocol Design and Game Theoretic Solutions for Device-to-Device Radio Resource Allocation. IEEE Trans. Veh. Technol. 66 (5) (2017)
Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang
Asynchronous QDI Circuit Synthesis from Signal Transition Protocols. ICCAD (2015)
Bo-Yuan Huang, Shih-Tang Su, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei
Resource allocation in D2D communication - A game theoretic approach. ICC Workshops (2014)