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
-
Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification
Yang, Y., Tan, Q., Bourgeat, T., Malik, S. & Yan, M., Mar 22 2026, ASPLOS 2026 - Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. Association for Computing Machinery, p. 442-458 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2-A).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
SecIC3: Customizing IC3 for Hardware Security Verification
Tan, Q., Gaonkar, A., Fan, Y. W., Gupta, A. & Malik, S., 2026, 2026 Design, Automation and Test in Europe Conference, DATE 2026 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings -Design, Automation and Test in Europe, DATE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Specy: Learning Specifications for Distributed Systems from Event Traces
He, M., Desai, A., Jagarapu, A., Terry, D., Malik, S. & Gupta, A., Apr 10 2026, In: Proceedings of the ACM on Programming Languages. 10, OOPSLA1, p. 260-288 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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 Access -
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