Photo of Sharad Malik
Contact Expert
 

View Scopus Profile

Sharad Malik

  • 11525 Citations
  • 50 h-Index
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

XPS: FULL: Hardware Software Abstractions: Addressing Specification and Verification Gaps in Accelerator-Oriented Parallelism

Malik, S.

NSF - National Science Foundation

9/1/16 → 8/31/21

Project: Research project

    • Research Output

    MemFlow: Memory-Driven Data Scheduling with Datapath Co-Design in Accelerators for Large-Scale Inference Applications

    Nie, Q. & Malik, S., Sep 2020, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 9, p. 1875-1888 14 p., 8747420.

    Research output: Contribution to journal › Article

    • Synthesizing Environment Invariants for Modular Hardware Verification

    Zhang, H., Yang, W., Fedyukovich, G., Gupta, A. & Malik, S., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 202-225 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

    Zhang, H., Trippel, C., Manerkar, Y. A., Gupta, A., Martonosi, M. R. & Malik, S., Jan 4 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 12-21 10 p. 8603015. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 1 Scopus citations

    Ilang: a modeling and verification platform for SoCs using instruction-level abstractions

    Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer Verlag, p. 351-357 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    • 1 Scopus citations

    Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SOC) verification

    Huang, B. Y., Zhang, H., Subramanyan, P., Vizel, Y., Gupta, A. & Malik, S., Jan 2019, In : ACM Transactions on Design Automation of Electronic Systems. 24, 1, 10.

    Research output: Contribution to journal › Article

    • 3 Scopus citations