Login / Signup
Sharad Malik
ORCID
Publication Activity (10 Years)
Years Active: 1988-2024
Publications (10 Years): 48
Top Topics
Reverse Engineer
Model Checking
Sparse Matrix
Symbolic Execution
Top Venues
CoRR
DATE
ICCAD
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>