| The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015 | 498 | 2015 |
| SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48 (3), 175-205, 2016 | 389 | 2016 |
| Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015 | 380 | 2015 |
| Multi-valued symbolic model-checking M Chechik, B Devereux, S Easterbrook, A Gurfinkel ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 371-408, 2003 | 287 | 2003 |
| Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 180 | 2014 |
| Simple and precise static analysis of untrusted linux kernel extensions E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 152 | 2019 |
| Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik International Conference on Computer Aided Verification, 672-678, 2012 | 137 | 2012 |
| Automatic abstraction in SMT-based unbounded software model checking A Komuravelli, A Gurfinkel, S Chaki, EM Clarke International Conference on Computer Aided Verification, 846-862, 2013 | 113 | 2013 |
| Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016 | 107 | 2016 |
| Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003 | 106 | 2003 |
| Interpolating property directed reachability Y Vizel, A Gurfinkel International Conference on Computer Aided Verification, 260-276, 2014 | 86 | 2014 |
| Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik International Workshop on Verification, Model Checking, and Abstract …, 2012 | 85 | 2012 |
| Model-checking in finite state-space systems with fine-grained abstractions using SPIN M Chechik, B Devereux, A Gurfinkel International SPIN Workshop on Model Checking of Software, 16-36, 2001 | 83 | 2001 |
| Yasm: A Software Model-Checker for Verification and Refutation: (Tool Paper) A Gurfinkel, O Wei, M Chechik International Conference on Computer Aided Verification, 170-174, 2006 | 82 | 2006 |
| Binary function clustering using semantic hashes W Jin, S Chaki, C Cohen, A Gurfinkel, J Havrilla, C Hines, P Narasimhan 2012 11th International Conference on Machine Learning and Applications 1 …, 2012 | 80 | 2012 |
| Property directed self composition R Shemer, A Gurfinkel, S Shoham, Y Vizel International Conference on Computer Aided Verification, 161-179, 2019 | 75 | 2019 |
| From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik International conference on tools and algorithms for the construction and …, 2012 | 75 | 2012 |
| Compositional verification of procedural programs using horn clauses over integers and arrays A Komuravelli, N Bjorner, A Gurfinkel, KL McMillan 2015 Formal Methods in Computer-Aided Design (FMCAD), 89-96, 2015 | 74 | 2015 |
| SeaHorn: A framework for verifying C programs (competition contribution) A Gurfinkel, T Kahsai, JA Navas International Conference on Tools and Algorithms for the Construction and …, 2015 | 74 | 2015 |
| Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010 | 72 | 2010 |
Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
