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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
- 1 Active
Research output
-
Chapter 4: Conflict-driven clause learning SAT solvers
Marques-Silva, J., Lynce, I. & Malik, S., 2021, Handbook of Satisfiability: Second Edition. Part 1/Part 2. Biere, A., Heule, M., Van Maaren, H. & Walsh, T. (eds.). IOS Press BV, p. 133-182 50 p. (Frontiers in Artificial Intelligence and Applications; vol. 336).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Zhang, H., Gupta, A. & Malik, S., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 325-349 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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