| 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 | 88 | 2018 |
| Intelligent REST API data fuzzing P Godefroid, BY Huang, M Polishchuk Proceedings of the 28th ACM joint meeting on European software engineering …, 2020 | 69 | 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 | 37 | 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 | 36 | 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 | 25 | 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 | 24 | 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 | 11 | 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 | 10 | 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 | 9* | 2024 |
| Sayak Ray, Aarti Gupta, Jason M. Fung, and Sharad Malik. Formal security verification of concurrent firmware in socs using instruction-level abstraction for hardware BY Huang Proceedings of the 55th Annual Design Automation Conference, DAC 18, 91, 2018 | 9 | 2018 |
| Intelligently fuzzing data to exercise a service P Godefroid, BY Huang, M Polishchuk US Patent 11,321,219, 2022 | 8 | 2022 |
| Sayak Ray, Aarti Gupta, Jason M. Fung, and Sharad Malik. 2018. Formal security verification of concurrent firmware in SoCs using instructionlevel abstraction for hardware BY Huang DAC 91, 1-91, 0 | 6 | |
| Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SoC) verification. CoRR abs/1801.01114 (2018) BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik arXiv preprint arXiv:1801.01114, 2018 | 2 | 2018 |
| 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, ... | 1 | 2021 |
| 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 |
| Hardware-Software Interface Specification for Verification in Accelerator-Rich Platforms H Zhang, BY Huang, Y Xing, A Gupta, S Malik | | 2021 |
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton Universityprinceton.edu의 이메일 확인됨