Bo-Yuan Huang

According to our database, Bo-Yuan Huang authored at least 13 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.

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

ACM Trans. Design Autom. Electr. Syst., March, 2024

2023

INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms.

Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.

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

CoRR, 2022

2021

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020

Intelligent REST API data fuzzing.

Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik

ACM Trans. Design Autom. Electr. Syst., 2019

ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.

Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A formal instruction-level GPU model for scalable verification.

Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik

Proceedings of the International Conference on Computer-Aided Design, 2018

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

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Protocol Design and Game Theoretic Solutions for Device-to-Device Radio Resource Allocation.

Shih-Tang Su, Bo-Yuan Huang, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei

IEEE Trans. Veh. Technol., 2017

2015

Asynchronous QDI Circuit Synthesis from Signal Transition Protocols.

Bo-Yuan Huang, Yi-Hsiang Lai, Jie-Hong Roland Jiang

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2014

Resource allocation in D2D communication - A game theoretic approach.

Bo-Yuan Huang, Shih-Tang Su, Chih-Yu Wang, Che-Wei Yeh, Hung-Yu Wei

Proceedings of the IEEE International Conference on Communications, 2014