Sharad Malik
George Van Ness Lothrop Professor of Engineering
Dept. of Electrical Engineering
Director: FCRP Gigascale Systems Research Center
Research Interests:
Design automation for digital systems: design methodology, synthesis and verification of digital systems.
Mailing Address:
Dept. of Electrical Engineering
Engineering Quad, Room B224
Office: (609) 258-4625, Fax: (609) 258-3745
E-mail: myfirstname AT princeton.edu
- CV (including publications)
- Research
Projects
- Firmware
Verification using Transaction-Level Modeling
- Post-Silicon
Validation
- Debugging
Multi-threaded Software
- Reverse
Engineering Digital Circuits
- Programmable
Computation on Error-Resilient Platforms
- Verification
and Resiliency Driven Microarchitecture Modeling
- Recent Talks
- Runtime
Verification: A Computer Architecture Perspective, Keynote Talk,
Runtime Verification Conference, San Francisco, September 28, 2011.
- Current and Past Graduate Students and Post-Docs
- A Note to Prospective Graduate Students