Follow
Bo-Yuan Huang
Bo-Yuan Huang
Verified email at intel.com
Title
Cited by
Cited by
Year
Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
682018
Intelligent REST API data fuzzing
P Godefroid, BY Huang, M Polishchuk
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
412020
Resource allocation in D2D communication-A game theoretic approach
BY Huang, ST Su, CY Wang, CW Yeh, HY Wei
2014 IEEE International Conference on Communications Workshops (ICC), 483-488, 2014
352014
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
BY Huang, S Ray, A Gupta, JM Fung, S Malik
Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018
342018
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
232017
ILAng: A modeling and verification platform for SoCs using instruction-level abstractions
BY Huang, H Zhang, A Gupta, S Malik
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
192019
Protocol design and game theoretic solutions for device-to-device radio resource allocation
ST Su, BY Huang, CY Wang, CW Yeh, HY Wei
IEEE Transactions on Vehicular Technology 66 (5), 4271-4286, 2016
142016
A formal instruction-level GPU model for scalable verification
Y Xing, BY Huang, A Gupta, S Malik
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018
102018
Generating architecture-level abstractions from RTL designs for processors and accelerators part i: Determining architectural state variables
Y Zeng, BY Huang, H Zhang, A Gupta, S Malik
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021
72021
Intelligently fuzzing data to exercise a service
P Godefroid, BY Huang, M Polishchuk
US Patent 11,321,219, 2022
62022
Specialized accelerators and compiler flows: Replacing accelerator APIs with a formal software/hardware interface
BY Huang, S Lyubomirsky, Y Li, M He, T Tambe, GH Smith, A Gaonkar, ...
arXiv preprint arXiv:2203.00218, 2022
52022
Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
BY Huang, S Lyubomirsky, Y Li, M He, GH Smith, T Tambe, A Gaonkar, ...
ACM Transactions on Design Automation of Electronic Systems 29 (2), 1-25, 2024
12024
Asynchronous QDI circuit synthesis from signal transition protocols
BY Huang, YH Lai, JHR Jiang
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 434-441, 2015
12015
Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
BY Huang, S Lyubomirsky, Y Li, M He, GH Smith, T Tambe, A Gaonkar, ...
arXiv preprint arXiv:2203.00218v2, 2023
2023
Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms
BY Huang, H Zhang, A Gupta, S Malik
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-4, 2023
2023
Instruction-Level Abstraction for Program Compilation and Verification in Accelerator-Rich Platforms
BY Huang
Princeton University, 2022
2022
From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap
BY Huang, S Lyubomirsky, T Tambe, Y Li, M He, G Smith, GY Wei, ...
2021
Hardware-Software Interface Specification for Verification in Accelerator-Rich Platforms
H Zhang, BY Huang, Y Xing, A Gupta, S Malik
2021
The system can't perform the operation now. Try again later.
Articles 1–18