Projects per year
Fingerprint
Dive into the research topics where Sharad Malik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures
Malik, S. (PI)
NSF - National Science Foundation
10/1/24 → 9/30/27
Project: Research project
-
COSIMILA: Accelerating System-Level Co-simulation using ILA (Instruction-Level Abstraction) Models
Malik, S. (PI)
3/1/22 → 5/31/23
Project: Research project
-
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
Huang, B. Y., Lyubomirsky, S., Li, Y., He, M., Smith, G. H., Tambe, T., Gaonkar, A., Canumalla, V., Cheung, A., Wei, G. Y., Gupta, A., Tatlock, Z. & Malik, S., Feb 15 2024, In: ACM Transactions on Design Automation of Electronic Systems. 29, 2, 35.Research output: Contribution to journal › Article › peer-review
Open Access -
Exact Scheduling to Minimize Off-Chip Data Movement for Deep Learning Accelerators
Li, Y., Gupta, A. & Malik, S., 2024, ASP-DAC 2024 - 29th Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 908-914 7 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms
Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., 2023, 2023 60th ACM/IEEE Design Automation Conference, DAC 2023. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Design Automation Conference; vol. 2023-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Security Verification of Low-Trust Architectures
Tan, Q., Fisseha, Y., Chen, S., Biernacki, L., Jeannin, J. B., Malik, S. & Austin, T., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 945-959 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications
Lu, H., Xing, Y., Gupta, A. & Malik, S., Oct 16 2023, In: ACM Transactions on Design Automation of Electronic Systems. 28, 6, 89.Research output: Contribution to journal › Article › peer-review
Open Access