Sharad Malik

Identifiers

• name variant Sharad Malik 0.60 · backfill

Papers (4)

1. Sparse Matrix to Matrix Multiplication: A Representation and Architecture for Acceleration (long version) cs.AR · 2019 · author #2
2. Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification cs.AR · 2018 · author #6
3. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving cs.AI · 2015 · author #8
4. Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom cs.DC · 2014 · author #3

Mentions

• 1407.7468 #3 · backfill · confidence 0.70 Sharad Malik

Frequent Coauthors

• Aarti Gupta 1 shared papers
• Alexander Ivrii 1 shared papers
• Bo-Yuan Huang 1 shared papers
• Daniel J. Fremont 1 shared papers
• Divjyot Sethi 1 shared papers
• Dror Fried 1 shared papers
• Hongce Zhang 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Moshe Vardi 1 shared papers
• Muralidhar Talupur 1 shared papers
• Pareesa Ameneh Golnari 1 shared papers
• Pramod Subramanyan 1 shared papers
• Sanjit A. Seshia 1 shared papers
• Supratik Chakraborty 1 shared papers
• Yakir Vizel 1 shared papers