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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Active
-
COSIMILA: Accelerating System-Level Co-simulation using ILA (Instruction-Level Abstraction) Models
3/1/22 → 2/28/23
Project: Research project
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
1 Scopus citations -
Conflict-Driven clause learning SAT solvers
Marques-Silva, J., Lynce, I. & Malik, S., May 5 2021, Handbook of Satisfiability: Second Edition. IOS Press, p. 133-182 50 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
2 Scopus citations -
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Zeng, Y., Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2021-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Leveraging Processor Modeling and Verification for General Hardware Modules
Xing, Y., Lu, H., Gupta, A. & Malik, S., Feb 1 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. Institute of Electrical and Electronics Engineers Inc., p. 1130-1135 6 p. 9474194. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Software-driven security attacks: From vulnerability sources to durable hardware defenses
Biernacki, L., Gallagher, M., Xu, Z., Aga, M. T., Harris, A., Wei, S., Tiwari, M., Kasikci, B., Malik, S. & Austin, T., Jul 2021, In: ACM Journal on Emerging Technologies in Computing Systems. 17, 3, 3456299.Research output: Contribution to journal › Article › peer-review