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
-
XPS: FULL: Hardware Software Abstractions: Addressing Specification and Verification Gaps in Accelerator-Oriented Parallelism
Malik, S. (PI)
NSF - National Science Foundation
9/1/16 → 8/31/22
Project: Research project
-
The Essence of System-Level Design: Collaboration and Interdisciplinarity: A story of many research centers
Sangiovanni-Vincentelli, A., De Micheli, G., Malik, S., Shanbhag, N. R. & Rabaey, J. M., 2026, IEEE Solid-State Circuits Magazine, 18, 1, p. 34-43 10 p.Research output: Contribution to specialist publication › Article
Open Access1 Link opens in a new tab Scopus citations -
Automatic Generation of Cycle-Accurate Timing Models from RTL for Hardware Accelerators
Zeng, Y., Gupta, A. & Malik, S., Apr 9 2025, Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2024. Institute of Electrical and Electronics Engineers Inc., 155. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Automatic Verification and Identification of Partial Retention Register Sets for Low-Power Designs
Shih, Y. A. & Malik, S., Apr 9 2025, Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2024. Institute of Electrical and Electronics Engineers Inc., 157. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Hierarchical Formal Verification of Hardware
Lu, H., Xing, Y., Gupta, A. & Malik, S., 2025, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44, 9, p. 3629-3642 14 p.Research output: Contribution to journal › Article › peer-review
5 Link opens in a new tab Scopus citations -
RTL Verification for Secure Speculation Using Contract Shadow Logic
Tan, Q., Yang, Y., Bourgeat, T., Malik, S. & Yan, M., Mar 30 2025, ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 970-986 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access8 Link opens in a new tab Scopus citations