| Vericon: towards verifying controller programs in software-defined networks T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ... Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 264 | 2014 |
| Verified lifting of stencil computations S Kamil, A Cheung, S Itzhaky, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 711-726, 2016 | 101 | 2016 |
| Property-directed inference of universal invariants or proving their absence A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham Journal of the ACM (JACM) 64 (1), 1-33, 2017 | 90 | 2017 |
| A simple inductive synthesis methodology and its applications S Itzhaky, S Gulwani, N Immerman, M Sagiv ACM Sigplan Notices 45 (10), 36-46, 2010 | 70 | 2010 |
| Effectively-propositional reasoning about reachability in linked data structures S Itzhaky, A Banerjee, N Immerman, A Nanevski, M Sagiv International Conference on Computer Aided Verification, 756-772, 2013 | 68 | 2013 |
| Property-directed shape analysis S Itzhaky, N Bjørner, T Reps, M Sagiv, A Thakur Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 59 | 2014 |
| Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations S Itzhaky, R Singh, A Solar-Lezama, K Yessenov, Y Lu, C Leiserson, ... ACM SIGPLAN Notices 51 (10), 145-164, 2016 | 50 | 2016 |
| Modular reasoning about heap paths via effectively propositional formulas S Itzhaky, A Banerjee, N Immerman, O Lahav, A Nanevski, M Sagiv ACM SIGPLAN Notices 49 (1), 385-396, 2014 | 45 | 2014 |
| Verifying equivalence of spark programs S Grossman, S Cohen, S Itzhaky, N Rinetzky, M Sagiv Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 32 | 2017 |
| Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 29 | 2021 |
| Liquid information flow control N Polikarpova, D Stefan, J Yang, S Itzhaky, T Hance, A Solar-Lezama Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 27 | 2020 |
| Object spreadsheets: A new computational model for end-user development of data-centric web applications M McCutchen, S Itzhaky, D Jackson Proceedings of the 2016 ACM International Symposium on New Ideas, New …, 2016 | 23 | 2016 |
| On the automated verification of web applications with embedded SQL S Itzhaky, T Kotek, N Rinetzky, M Sagiv, O Tamir, H Veith, F Zuleger arXiv preprint arXiv:1610.02101, 2016 | 23 | 2016 |
| Theory exploration powered by deductive synthesis E Singher, S Itzhaky Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 22 | 2021 |
| Programming with a read-eval-synth loop H Peleg, R Gabay, S Itzhaky, E Yahav Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 19 | 2020 |
| Putting the squeeze on array programs: Loop verification via inductive rank reduction O Ish-Shalom, S Itzhaky, N Rinetzky, S Shoham International Conference on Verification, Model Checking, and Abstract …, 2020 | 17 | 2020 |
| Computing summaries of string loops in C for better testing and refactoring T Kapus, O Ish-Shalom, S Itzhaky, N Rinetzky, C Cadar Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 17 | 2019 |
| Solving geometry problems using a combination of symbolic and numerical reasoning S Itzhaky, S Gulwani, N Immerman, M Sagiv Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 17 | 2013 |
| Abstraction-based interaction model for synthesis H Peleg, S Itzhaky, S Shoham Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 13 | 2018 |
| Type-driven repair for information flow security N Polikarpova, J Yang, S Itzhaky, A Solar-Lezama CoRR abs/1607.03445, 2016 | 12 | 2016 |
