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.

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.

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.

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.

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.

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.

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