Sharad Malik

First name

Sharad

Last name

Malik

Subramanyan, Pramod, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, and Sharad Malik. 2017. “Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification”. TCAD.

Reference Link
Golnari, Pareesa Ameneh, Yavuz Yetim, Margaret Martonosi, Yakir Vizel, and Sharad Malik. 2017. “PPU: A Control Error-Tolerant Processor for Streaming Applications With Formal Guarantees”. ACM Journal on Emerging Technologies in Computing Systems (JETC) 13 (3). ACM: 43.

Reference Link
Xu, Zhixing, Sayak Ray, Pramod Subramanyan, and Sharad Malik. 2017. “Malware Detection Using Machine Learning Based Analysis of Virtual Memory Access Patterns”. In 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 169–174. IEEE.

Reference Link
Golnari, Pareesa Ameneh, and Sharad Malik. 2017. “Evaluating Matrix Representations for Error-Tolerant Computing”. In 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1659–1662. IEEE.

Reference Link
Vizel, Yakir, Arie Gurfinkel, Sharon Shoham, and Sharad Malik. 2017. “IC3-Flipping the E in ICE”. In International Conference on Verification, Model Checking, and Abstract Interpretation, 521–538. Springer, Cham.

Reference Link
Subramanyan, Pramod, and Sharad Malik. 2017. “Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions”. In Hardware IP Security and Trust, 287–323. Springer International Publishing.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2016. “Model Checking Unbounded Concurrent Lists”. International Journal on Software Tools for Technology Transfer 18 (4). Springer Berlin Heidelberg: 375–391.

Reference Link
Malik, Sharad, and Pramod Subramanyan. 2016. “Invited: Specification and Modeling for Systems-on-Chip Security Verification”. In Design Automation Conference (DAC), 2016 53nd ACM EDAC IEEE, 1–6. IEEE.

Reference Link
Meel, Kuldeep, Moshe Vardi, Supratik Chakraborty, Daniel Fremont, Sanjit Seshia, Dror Fried, Alexander Ivrii, and Sharad Malik. 2016. “Constrained Sampling and Counting: Universal Hashing Meets Sat Solving”. In Workshops at the Thirtieth AAAI Conference on Artificial Intelligence.

Reference Link
Subramanyan, Pramod, Sharad Malik, Hareesh Khattri, Abhranil Maiti, and Jason Fung. 2016. “Verifying Information Flow Properties of Firmware Using Symbolic Execution”. In Proceedings of the 2016 Conference on Design, Automation & Test in Europe, 337–342. EDA Consortium.

Reference Link
Ivrii, Alexander, Sharad Malik, Kuldeep Meel, and Moshe Vardi. 2016. “On Computing Minimal Independent Support and Its Applications to Sampling and Counting”. Constraints 21 (1). Springer US: 41–58.

Reference Link
Golnari, Ameneh, Yakir Vizel, and Sharad Malik. 2015. “Error-Tolerant Processors: Formal Specification and Verification”. In Proceedings of the IEEE ACM International Conference on Computer-Aided Design, 286–293. IEEE Press.

Reference Link
Vizel, Yakir, Georg Weissenbacher, and Sharad Malik. 2015. “Boolean Satisfiability Solvers and Their Applications in Model Checking”. Proceedings of the IEEE 103 (11). IEEE: 2021–2035.

Reference Link
Ahn, Sunha, Sharad Malik, and Aarti Gupta. 2015. “Completeness Bounds and Sequentialization for Model Checking of Interacting Firmware and Hardware”. In Proceedings of the 10th International Conference on Hardware Software Codesign and System Synthesis, 202–211. IEEE Press.

Reference Link
Malik, Sharad. 2015. “Detecting Hardware Trojans: A Tale of Two Techniques”. In Formal Methods in Computer-Aided Design (FMCAD), 2015, 6–6. IEEE.

Reference Link
Subramanyan, Pramod, Yakir Vizel, Sayak Ray, and Sharad Malik. 2015. “Template-Based Synthesis of Instruction-Level Abstractions for SoC Verification”. In Formal Methods in Computer-Aided Design (FMCAD), 2015, 160–167. IEEE.

Reference Link
Vizel, Yakir, Arie Gurfinkel, and Sharad Malik. 2015. “Fast Interpolating BMC”. In International Conference on Computer Aided Verification, 641–657. Springer International Publishing.

Reference Link
Subramanyan, Pramod, Sayak Ray, and Sharad Malik. 2015. “Evaluating the Security of Logic Encryption Algorithms”. In Hardware Oriented Security and Trust (HOST), 2015 IEEE International Symposium on, 137–143. IEEE.

Reference Link
Yetim, Yavuz, Sharad Malik, and Margaret Martonosi. 2015. “CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution”. In ACM SIGPLAN Notices, 50:311–323. ACM.

Reference Link
Zhu, Charlie Shucheng, and Sharad Malik. 2015. “Optimizing Dynamic Trace Signal Selection Using Machine Learning and Linear Programming”. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 1289–1292. IEEE.

Reference Link
\cCakir, Burçin, and Sharad Malik. 2015. “Hardware Trojan Detection for Gate-Level ICs Using Signal Correlation Based Clustering”. In Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 471–476. EDA Consortium.

Reference Link
Zhu, Charlie Shucheng, Georg Weissenbacher, and Sharad Malik. 2014. “Silicon Fault Diagnosis Using Sequence Interpolation With Backbones”. In Proceedings of the 2014 IEEE ACM International Conference on Computer-Aided Design, 348–355. IEEE Press.

Reference Link
Bloem, Roderick, Sharad Malik, Matthias Schlaipfer, and Georg Weissenbacher. 2014. “Reduction of Resolution Refutations and Interpolants via Subsumption.”. In Haifa Verification Conference, 188–203.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, and Sharad Malik. 2014. “Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom”. In International Symposium on Automated Technology for Verification and Analysis, 330–347. Springer International Publishing.

Reference Link
Gascón, Adria, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanović, and Sharad Malik. 2014. “Template-Based Circuit Understanding”. In Formal Methods in Computer-Aided Design (FMCAD), 2014, 83–90. IEEE.

Reference Link
Zhang, Shuyuan, Sharad Malik, Sanjai Narain, and Laurent Vanbever. 2014. “In-Band Update for Network Routing Policy Migration”. In Network Protocols (ICNP), 2014 IEEE 22nd International Conference on, 356–361. IEEE.

Reference Link
Ahn, Sunha, and Sharad Malik. 2014. “Automated Firmware Testing Using Firmware-Hardware Interaction Patterns”. In Proceedings of the 2014 International Conference on Hardware Software Codesign and System Synthesis, 25. ACM.

Reference Link
Ray, Sayak, and Sharad Malik. 2014. “Effective Abstraction for Response Proof of Communication Fabrics”. In Networks-on-Chip (NoCS), 2014 Eighth IEEE ACM International Symposium on, 188–189. IEEE.

Reference Link
Beckett, Ryan, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, and David Walker. 2014. “An Assertion Language for Debugging SDN Applications”. In Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, 91–96. ACM.

Reference Link
Zhang, Shuyuan, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, and Sharad Malik. 2014. “An Adaptable Rule Placement for Software-Defined Networks”. In Dependable Systems and Networks (DSN), 2014 44th Annual IEEE IFIP International Conference on, 88–99. IEEE.

Reference Link
Weissenbacher, Georg, Pramod Subramanyan, and Sharad Malik. 2014. “Boolean Satisfiability: Solvers and Extensions.”. Software Systems Safety 36: 223.

Reference Link
Subramanyan, Pramod, Nestan Tsiskaridze, Wenchao Li, Adria Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit Seshia, and Sharad Malik. 2014. “Reverse Engineering Digital Circuits Using Structural and Functional Analyses.”. IEEE Trans. Emerging Topics Comput. 2 (1): 63–80.

Reference Link
Yu, Yinlei, Pramod Subramanyan, Nestan Tsiskaridze, and Sharad Malik. 2014. “All-SAT Using Minimal Blocking Clauses”. In VLSI Design and 2014 13th International Conference on Embedded Systems, 2014 27th International Conference on, 86–91. IEEE.

Reference Link
Yetim, Yavuz, Margaret Martonosi, and Sharad Malik. 2014. “Parallel Streaming Computation on Error-Prone Processors”. In First Workshop on Approximate Computing Across the System Stack (WACAS).

Reference Link
Ahn, Sunha, and Sharad Malik. 2013. “Modeling Firmware As Service Functions and Its Application to Test Generation”. In Haifa Verification Conference, 61–77. Springer International Publishing.

Reference Link
Sethi, Divjyot, Srinivas Narayana, and Sharad Malik. 2013. “Abstractions for Model Checking SDN Controllers”. In Formal Methods in Computer-Aided Design (FMCAD), 2013, 145–148. IEEE.

Reference Link
Zhang, Shuyuan, and Sharad Malik. 2013. “SAT Based Verification of Network Data Planes”. In International Symposium on Automated Technology for Verification and Analysis, 496–505. Springer International Publishing.

Reference Link
Li, Wenchao, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit Seshia. 2013. “Wordrev: Finding Word-Level Structures in a Sea of Bit-Level Gates”. In Hardware-Oriented Security and Trust (HOST), 2013 IEEE International Symposium on, 67–74. IEEE.

Reference Link
Subramanyan, Pramod, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, and Sharad Malik. 2013. “Reverse Engineering Digital Circuits Using Functional Analysis”. In Proceedings of the Conference on Design, Automation and Test in Europe, 1277–1280. EDA Consortium.

Reference Link
Yetim, Yavuz, Margaret Martonosi, and Sharad Malik. 2013. “Extracting Useful Computation from Error-Prone Processors for Streaming Applications”. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 202–207. IEEE.

Reference Link
Li, Yau-Tsun Steven, and Sharad Malik. 2012. “Performance Analysis of Real-Time Embedded Software”. Springer Science & Business Media.

Reference Link
Zhu, Charlie Shucheng, Georg Weissenbacher, and Sharad Malik. 2012. “Coverage-Based Trace Signal Selection for Fault Localisation in Post-Silicon Validation”. In Haifa Verification Conference, 132–147. Springer Berlin Heidelberg.

Reference Link
Zhang, Shuyuan, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain. 2012. “Verification and Synthesis of Firewalls Using SAT and QBF”. In Network Protocols (ICNP), 2012 20th IEEE International Conference on, 1–6. IEEE.

Reference Link
Sinha, Arnab, Sharad Malik, and Aarti Gupta. 2012. “Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs”. In Formal Methods in Computer-Aided Design (FMCAD), 2012, 6–15. IEEE.

Reference Link
Zhang, Shuyuan, Sharad Malik, and Rick McGeer. 2012. “Verification of Computer Switching Networks: An Overview”. In International Symposium on Automated Technology for Verification and Analysis, 1–16. Springer Berlin Heidelberg.

Reference Link
Schwartz-Narbonne, Daniel, Georg Weissenbacher, and Sharad Malik. 2012. “Parallel Assertions for Architectures With Weak Memory Models”. In International Symposium on Automated Technology for Verification and Analysis, 254–268. Springer Berlin Heidelberg.

Reference Link
Sethi, Divjyot, Muralidhar Talupur, Daniel Schwartz-Narbonne, and Sharad Malik. 2012. “Parameterized Model Checking of Fine Grained Concurrency”. In International SPIN Workshop on Model Checking of Software, 208–226. Springer Berlin Heidelberg.

Reference Link
Chan, Carven, Daniel Schwartz-Narbonne, Divjyot Sethi, and Sharad Malik. 2012. “Specification and Synthesis of Hardware Checkpointing and Rollback Mechanisms”. In Proceedings of the 49th Annual Design Automation Conference, 1226–1232. ACM.

Reference Link
Weissenbacher, Georg, Daniel Kroening, and Sharad Malik. 2012. “WOLVERINE: Battling Bugs With Interpolants”. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 556–558. Springer Berlin Heidelberg.

Reference Link
Yetim, Yavuz, Sharad Malik, and Margaret Martonosi. 2012. “EPROF: An Energy Performance Reliability Optimization Framework for Streaming Applications”. In Design Automation Conference (ASP-DAC), 2012 17th Asia and South Pacific, 769–774. IEEE.

Reference Link