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 | 70 | 2018 |
Intelligent REST API data fuzzing P Godefroid, BY Huang, M Polishchuk Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 48 | 2020 |
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 | 35 | 2014 |
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 | 34 | 2018 |
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 | 23 | 2017 |
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 | 19 | 2019 |
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 | 14 | 2016 |
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 | 10 | 2018 |
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 | 7 | 2021 |
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 | 6* | 2024 |
Intelligently fuzzing data to exercise a service P Godefroid, BY Huang, M Polishchuk US Patent 11,321,219, 2022 | 6 | 2022 |
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 | 1 | 2015 |
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 |