Yakir Vizel

According to our database, Yakir Vizel authored at least 31 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Automatic and Incremental Repair for Speculative Information Leaks.

Joachim Bard, Swen Jacobs, Yakir Vizel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Hyperproperty Verification as CHC Satisfiability.

Shachar Itzhaky, Sharon Shoham, Yakir Vizel

Proceedings of the Programming Languages and Systems, 2024

2023

Condition Synthesis Realizability via Constrained Horn Clauses.

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Structure-Guided Solution of Constrained Horn Clauses.

Omer Rappoport, Orna Grumberg, Yakir Vizel

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Verifying verified code.

Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Innov. Syst. Softw. Eng., 2022

Bounded Model Checking for LLVM.

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

IC3 with Internal Signals.

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2019

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik

ACM Trans. Design Autom. Electr. Syst., 2019

Property Directed Self Composition.

Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Interpolating Strong Induction.

Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Efficient Information-Flow Verification Under Speculative Execution.

Roderick Bloem, Swen Jacobs, Yakir Vizel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Lazy Self-composition for Security Verification.

Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Quantifiers on Demand.

Arie Gurfinkel, Sharon Shoham, Yakir Vizel

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

PPU: A Control Error-Tolerant Processor for Streaming Applications with Formal Guarantees.

Pareesa Ameneh Golnari, Yavuz Yetim, Margaret Martonosi, Yakir Vizel, Sharad Malik

ACM J. Emerg. Technol. Comput. Syst., 2017

IC3 - Flipping the E in ICE.

Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Solving Constraints over Bit-Vectors with SAT-based Model Checking.

Yakir Vizel, Alexander Nadel, Sharad Malik

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Solving linear arithmetic with SAT-based model checking.

Yakir Vizel, Alexander Nadel, Sharad Malik

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

Boolean Satisfiability Solvers and Their Applications in Model Checking.

Yakir Vizel, Georg Weissenbacher, Sharad Malik

Proc. IEEE, 2015

Efficient generation of small interpolants in CNF.

Yakir Vizel, Alexander Nadel, Vadim Ryvchin

Formal Methods Syst. Des., 2015

Error-Tolerant Processors: Formal Specification and Verification.

Ameneh Golnari, Yakir Vizel, Sharad Malik

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Template-based Synthesis of Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Fast Interpolating BMC.

Yakir Vizel, Arie Gurfinkel, Sharad Malik

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

SAT-based Model Checking: Interpolation, IC3, and Beyond.

Orna Grumberg, Sharon Shoham, Yakir Vizel

Proceedings of the Software Systems Safety, 2014

SAT-based model checking using interpolation and IC3.

Yakir Vizel

PhD thesis, 2014

DRUPing for interpolates.

Arie Gurfinkel, Yakir Vizel

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Interpolating Property Directed Reachability.

Yakir Vizel, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Intertwined Forward-Backward Reachability Analysis Using Interpolants.

Yakir Vizel, Orna Grumberg, Sharon Shoham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Lazy abstraction and SAT-based reachability in hardware model checking.

Yakir Vizel, Orna Grumberg, Sharon Shoham

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2009

Interpolation-sequence based model checking.

Yakir Vizel, Orna Grumberg

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2007

Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007