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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
- 1 Active
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 › peer-review
-
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
1 Scopus citations -
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., 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 Access1 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 › peer-review
6 Scopus citations