| The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 353 | 2015 |
| SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016 | 266 | 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 | 264 | 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 | 263 | 2003 |
| Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 157 | 2014 |
| Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 127 | 2012 |
| Multi-valued model checking via classical model checking A Gurfinkel, M Chechik CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 96 | 2003 |
| Automatic abstraction in SMT-based unbounded software model checking A Komuravelli, A Gurfinkel, S Chaki, EM Clarke Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 93 | 2013 |
| Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 78 | 2012 |
| Model-checking in finite state-space systems with fine-grained abstractions using SPIN M Chechik, B Devereux, A Gurfinkel Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001 | 75 | 2001 |
| Yasm: A Software Model-Checker for Verification and Refutation: (Tool Paper) A Gurfinkel, O Wei, M Chechik Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 70 | 2006 |
| Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 65 | 2010 |
| SeaHorn: A framework for verifying C programs (competition contribution) A Gurfinkel, T Kahsai, JA Navas Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 64 | 2015 |
| Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016 | 63 | 2016 |
| From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 62 | 2012 |
| 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 | 61 | 2012 |
| Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 61 | 2012 |
| Why waste a perfectly good abstraction? A Gurfinkel, M Chechik TACAS 3920, 212-226, 2006 | 61 | 2006 |
| 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 | 60 | 2019 |
| Temporal logic query checking: A tool for model exploration A Gurfinkel, M Chechik, B Devereux IEEE Transactions on Software Engineering 29 (10), 898-914, 2003 | 59 | 2003 |
Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
