2026 Sharad Malik: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	77	1237	1196	654	628	394	34890

Research.com Recognitions

2025 - Research.com Engineering and Technology in United States Leader Award
2014 - ACM Fellow For contributions to efficient and capable SAT solvers, and accurate embedded software models.

Overview

Sharad Malik is affiliated with Princeton University in the United States and has contributed extensively to the field of computer science. Their research spans across several specialized areas including hardware and architecture, computational theory and mathematics, artificial intelligence, electrical and electronic engineering, and software.

The main topics of Sharad Malik's work include formal methods in verification, embedded systems design techniques, security and verification in computing, radiation effects in electronics, parallel computing and optimization techniques, physical unclonable functions (PUFs) and hardware security, and software testing and debugging techniques.

Sharad Malik has a significant number of publications distributed among various well-known venues. Frequent publication venues include:

arXiv (Cornell University)
ACM Transactions on Design Automation of Electronic Systems
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Recent papers authored or co-authored by Sharad Malik feature research on architecture-level abstractions, simulation models, and optimization of convolutional neural networks. Selected papers include:

Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables, 2021, 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
Automatic Generation of Architecture-Level Models from RTL Designs for Processors and Accelerators, 2022, 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models, 2022, 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)
CNNFlow: Memory-driven Data Flow Optimization for Convolutional Neural Networks, 2022, ACM Transactions on Design Automation of Electronic Systems
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface, 2023, ACM Transactions on Design Automation of Electronic Systems

The scientist has collaborated frequently with researchers including Aarti Gupta, Yue Xing, Hongce Zhang, Bo-Yuan Huang, and Yi Li.

Sharad Malik received recognition through the ACM Fellow award in 2014 for contributions to efficient and capable SAT solvers and accurate embedded software models.

Best Publications

Chaff: engineering an efficient SAT solver

Matthew W. Moskewicz;Conor F. Madigan;Ying Zhao;Lintao Zhang

4899
Citations
Particle-flow reconstruction and global event description with the CMS detector

A. M. Sirunyan;A. Tumasyan;W. Adam;E. Asilar

2402
Citations
Power analysis of embedded software: a first step towards software power minimization

Vivek Tiwari;Sharad Malik;Andrew Wolfe

1615
Citations
Power analysis of embedded software: a first step towards software power minimization

V. Tiwari;S. Malik;A. Wolfe

1538
Citations
Performance analysis of embedded software using implicit path enumeration

Y.-T.S. Li;S. Malik

1533
Citations
Identification of heavy-flavour jets with the CMS detector in pp collisions at 13 TeV

A. M. Sirunyan;A. Tumasyan;W. Adam;F. Ambrogi

1329
Citations
Orion: a power-performance simulator for interconnection networks

Hang-Sheng Wang;Xinping Zhu;Li-Shiuan Peh;Sharad Malik

1005
Citations
Instruction level power analysis and optimization of software

V. Tiwari;S. Malik;A. Wolfe;M.T.-C. Lee

959
Citations
Determination of jet energy calibration and transverse momentum resolution in CMS

S. Chatrchyan;V. Khachatryan;A. M. Sirunyan;A. Tumasyan

951
Citations
Search for massive resonances decaying into pairs of boosted bosons in semi-leptonic final states at s = 8 TeV

V. Khachatryan;A. M. Sirunyan;A. Tumasyan;W. Adam

903
Citations
Evaluating the security of logic encryption algorithms

Pramod Subramanyan;Sayak Ray;Sharad Malik

821
Citations
Instruction level power analysis and optimization of software

Vivek Tiwari;Sharad Malik;Andrew Wolfe;Mike Tien-Chien Lee

819
Citations
Performance analysis of embedded software using implicit path enumeration

Yau-Tsun Steven Li;Sharad Malik

750
Citations
Logic verification using binary decision diagrams in a logic synthesis environment

S. Malik;A.R. Wang;R.K. Brayton;A. Sangiovanni-Vincentelli

729
Citations
Performance Analysis of Embedded Software Using Implicit Path Enumeration

Yau-Tsun Steven Li;Sharad Malik

618
Citations
Addressing the system-on-a-chip interconnect woes through communication-based design

M. Sgroi;M. Sheets;A. Mihal;K. Keutzer

522
Citations
Power-driven design of router microarchitectures in on-chip networks

Hangsheng Wang;Li-Shiuan Peh;Sharad Malik

518
Citations
The quest for efficient Boolean Satisfiability solvers

Lintao Zhang;Sharad Malik

489
Citations
Conflict-Driven clause learning SAT solvers

Joao Marques-Silva;Ines Lynce;Sharad Malik

488
Citations
The Quest for Efficient Boolean Satisfiability Solvers

Lintao Zhang;Sharad Malik

485
Citations
A Survey of Optimization Techniques Targeting Low Power VLSI Circuits

Srinivas Devadas;Sharad Malik

456
Citations
Performance estimation of embedded software with instruction cache modeling

Yau-Tsun Steven Li;Sharad Malik;Andrew Wolfe

432
Citations
Algorithms for discrete function manipulation

A. Srinivasan;T. Ham;S. Malik;R.K. Brayton

419
Citations
Guarded evaluation: pushing power management to logic synthesis/design

V. Tiwari;S. Malik;P. Ashar

397
Citations
Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications

Lintao Zhang;Sharad Malik

388
Citations
Power analysis and minimization techniques for embedded DSP software

Mike Tien-Chien Lee;V. Tiwari;S. Malik;M. Fujita

378
Citations
Measurement of the Underlying Event Activity at the LHC with $s= 7$ TeV and Comparison with $s = 0.9$ TeV

S. Chatrchyan;V. Khachatryan;A. M. Sirunyan;A. Tumasyan

352
Citations
Cha : Engineering an e cient SAT solver

Matthew W. Moskewicz;Conor F. Madigan;Ying Zhao;Lintao Zhang

208
Citations

Frequent Co-Authors

Margaret Martonosi Princeton University

Srinivas Devadas MIT

Alberto Sangiovanni-Vincentelli University of California, Berkeley

Li-Shiuan Peh National University of Singapore

Wayne Wolf University of Nebraska–Lincoln

Todd Austin University of Michigan–Ann Arbor

Larry Pileggi Carnegie Mellon University

Valeria Bertacco University of Michigan–Ann Arbor

Anand Raghunathan Purdue University West Lafayette

Jan M. Rabaey University of California, Berkeley

External Links

Personal website of Sharad Malik

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring high paying certificate jobs is a great way to enter the technology and engineering sectors with less time and money invested. These programs offer streamlined education and direct pathways into in-demand roles, making them ideal for those who want to quickly enhance their earning potential.

Flexibility matters, especially for students balancing family or work commitments. Many schools now craft programs specifically for individuals like parents or career changers. For example, there are excellent degrees for stay at home moms, allowing learners to study at their own pace while managing other responsibilities.

If you need to get certified fast, you can look into 6 week certification programs online. These accelerated options help you gain job-ready skills in just a short period, providing pathways into IT support, project management, and other tech fields.

For those interested in merging technology with business, an accelerated finance degree can open doors to specialized roles in fintech, data analysis, and engineering project finance. Online learning makes it more accessible than ever to advance or pivot your career in engineering and technology.