Sharad Malik

Chair, Department of Electrical Engineering, Princeton University
Academic Advisory Board, Plaksha University
PhD, Computer Science, University of California, Berkeley
Sharad Malik

Sharad Malik is a part of the Academic Advisory Board of Plaksha University. He is the Director of the Gigascale Systems Research Center (GSRC), one of six centers that comprise the Focus Center Research Program (FCRP), a joint industry-government initiative. GSRC is addressing the chip-scale system design challenges with an eight- to 12-year horizon. His consulting activities include AT&T Bell Labs, NEC, Synopsys and Monterey Design Systems. Sharad also serves as a Member of the Technical Advisory Board of QUALCOMM Flarion Technologies and NVXL Technology, Inc.

  • “Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification,” with B-Y. Huang, H. Zhang, P. Subramanyan, Y. Vizel, and A. Gupta, ACM Transactions on Design Automation of Electronic Systems (TODAES), 24(1): 10:1–10:24, 2019.
  • “Integrating Memory Consistency Models with Instruction-Level Abstraction for Heterogeneous System-on-Chip Verification,” with H. Zhang, C. Trippel, Y. Manerkar, A. Gupta, and M. Martonosi, Formal Methods in Computer-Aided Design (FMCAD), 2018.
  • “Propositional SAT Solving,” in Handbook of Model Checking, with J. Marques-Silva, 2018, pp. 247–275.
  • “Reverse Engineering Digital Circuits Using Structural and Functional Analyses,” with P. Subramanyan, N. Tsiskaridze, W. Li, A. Gascon, W. Y. Tan, A. Tiwari, N. Shankar, and S. Seshia, IEEE Transactions on Emerging Topics in Computing, Vol. 2, No. 1, pp. 63–80, Mar 2014.
  • “Boolean Satisfiability: From Theoretical Hardness to Practical Success,” with L. Zhang, invited paper, Communications of the ACM, Vol. 52, No. 8, Aug 2009.

  • Intel Corporate Research Council Outstanding Researcher Award (Security and Software Sector), 2018.
  • IEEE CEDA A. Richard Newton Technical Impact Award in Electronic Design Automation, 2017.
  • IEEE/ACM Design Automation Conference 50th Anniversary Most Cited Paper Award, with M. W. Moskewicz, C. F. Madigan, Y. Zhao, and L. Zhang, for publishing the most cited paper in DAC's 50-year history, 2013.
  • IEEE/ACM International Conference on Computer-Aided Design, Ten-Year Retrospective Most Influential Paper Award, 2011.
  • Computer-Aided Verification (CAV) Award for fundamental contributions to the development of high-performance Boolean satisfiability solvers, 2009.
  • Princeton University President’s Award for Distinguished Teaching, 2009.
Top