Yakir Vizel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
10
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Automatic Abstraction Refinement for Hyperproperties Verification. | Malak Marrid, Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
| 2026 | SAT | Factoring Learned Clauses. | Florian Pollitt, Zachary Battleman, Mathias Fleury, Yakir Vizel, Marijn J. H. Heule, Armin Biere, Randal E. Bryant |
| 2025 | CAV | Property Directed Reachability with Extended Resolution. | Andrew Luka, Yakir Vizel |
| 2025 | TACAS | Revisiting DRUP-Based Interpolants with CaDiCaL 2.0. | Basel Khouri, Yakir Vizel |
| 2024 | ESOP | Hyperproperty Verification as CHC Satisfiability. | Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
| 2024 | VMCAI | Automatic and Incremental Repair for Speculative Information Leaks. | Joachim Bard, Swen Jacobs, Yakir Vizel |
| 2023 | ATVA | Structure-Guided Solution of Constrained Horn Clauses. | Omer Rappoport, Orna Grumberg, Yakir Vizel |
| 2022 | FMCAD | Bounded Model Checking for LLVM. | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
| 2021 | ATVA | Verifying Verified Code. | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
| 2021 | FMCAD | IC3 with Internal Signals. | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
| 2019 | ATVA | Efficient Information-Flow Verification Under Speculative Execution. | Roderick Bloem, Swen Jacobs, Yakir Vizel |
| 2019 | CAV | Interpolating Strong Induction. | Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel |
| 2019 | CAV | Property Directed Self Composition. | Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel |
| 2018 | ATVA | Quantifiers on Demand. | Arie Gurfinkel, Sharon Shoham, Yakir Vizel |
| 2018 | CAV | Lazy Self-composition for Security Verification. | Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik |
| 2017 | FMCAD | Solving linear arithmetic with SAT-based model checking. | Yakir Vizel, Alexander Nadel, Sharad Malik |
| 2017 | VMCAI | IC3 - Flipping the E in ICE. | Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik |
| 2015 | CAV | Fast Interpolating BMC. | Yakir Vizel, Arie Gurfinkel, Sharad Malik |
| 2015 | FMCAD | Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. | Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik |
| 2015 | ICCAD | Error-Tolerant Processors: Formal Specification and Verification. | Ameneh Golnari, Yakir Vizel, Sharad Malik |
| 2014 | CAV | Interpolating Property Directed Reachability. | Yakir Vizel, Arie Gurfinkel |
| 2014 | FMCAD | DRUPing for interpolates. | Arie Gurfinkel, Yakir Vizel |
| 2013 | CAV | Efficient Generation of Small Interpolants in CNF. | Yakir Vizel, Vadim Ryvchin, Alexander Nadel |
| 2013 | TACAS | Intertwined Forward-Backward Reachability Analysis Using Interpolants. | Yakir Vizel, Orna Grumberg, Sharon Shoham |
| 2012 | FMCAD | Lazy abstraction and SAT-based reachability in hardware model checking. | Yakir Vizel, Orna Grumberg, Sharon Shoham |
| 2009 | FMCAD | Interpolation-sequence based model checking. | Yakir Vizel, Orna Grumberg |
| 2007 | ASPDAC | 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 |