Edit Profile (opens in new tab) Itzhaky, Shachar Compute Distance To: Compute Author ID: itzhaky.shachar Published as: Itzhaky, Shachar; Itzhaky, S. Documents Indexed: 13 Publications since 2013 Co-Authors: 24 Co-Authors with 13 Joint Publications 419 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Rinetzky, Noam 6 Shoham, Sharon 4 Sagiv, Mooly 3 Ish-Shalom, Oren 3 Peleg, Hila 2 Bjørner, Nikolaj S. 2 Immerman, Neil 2 Karbyshev, Aleksandr 1 Banerjee, Anindya 1 Cohen, Sara A. 1 Grossman, Shelly 1 Gulwani, Sumit 1 Kotek, Tomer 1 Lahav, Ori 1 Manevich, Roman 1 Nanevski, Aleksandar 1 Polikarpova, Nadia 1 Rowe, Reuben N. S. 1 Sergey, Ilya 1 Singher, Eytan 1 Tamir, Orr 1 Veith, Helmut 1 Yahav, Eran 1 Zuleger, Florian Serials 1 Acta Informatica 1 Journal of the ACM Fields 13 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 20 times in 18 Documents Cited by ▼ Year ▼ Property-directed inference of universal invariants or proving their absence. Zbl 1381.68169Karbyshev, A.; Bjørner, N.; Itzhaky, S.; Rinetzky, N.; Shoham, S. 7 2015 Modular reasoning about heap paths via effectively propositional formulas. Zbl 1284.68403Itzhaky, Shachar; Banerjee, Anindya; Immerman, Neil; Lahav, Ori; Nanevski, Aleksandar; Sagiv, Mooly 4 2014 Putting the squeeze on array programs: loop verification via inductive rank reduction. Zbl 07228504Ish-Shalom, Oren; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon 4 2020 Property-directed inference of universal invariants or proving their absence. Zbl 1426.68050Karbyshev, Aleksandr; Bjørner, Nikolaj; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon 3 2017 On the automated verification of web applications with embedded SQL. Zbl 1402.68123Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian 1 2017 Solving geometry problems using a combination of symbolic and numerical reasoning. Zbl 1407.68513Itzhaky, Shachar; Gulwani, Sumit; Immerman, Neil; Sagiv, Mooly 1 2013 Putting the squeeze on array programs: loop verification via inductive rank reduction. Zbl 07228504Ish-Shalom, Oren; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon 4 2020 Property-directed inference of universal invariants or proving their absence. Zbl 1426.68050Karbyshev, Aleksandr; Bjørner, Nikolaj; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon 3 2017 On the automated verification of web applications with embedded SQL. Zbl 1402.68123Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian 1 2017 Property-directed inference of universal invariants or proving their absence. Zbl 1381.68169Karbyshev, A.; Bjørner, N.; Itzhaky, S.; Rinetzky, N.; Shoham, S. 7 2015 Modular reasoning about heap paths via effectively propositional formulas. Zbl 1284.68403Itzhaky, Shachar; Banerjee, Anindya; Immerman, Neil; Lahav, Ori; Nanevski, Aleksandar; Sagiv, Mooly 4 2014 Solving geometry problems using a combination of symbolic and numerical reasoning. Zbl 1407.68513Itzhaky, Shachar; Gulwani, Sumit; Immerman, Neil; Sagiv, Mooly 1 2013 all cited Publications top 5 cited Publications all top 5 Cited by 50 Authors 3 Shoham, Sharon 2 Cimatti, Alessandro 2 Feldman, Yotam M. Y. 2 Griggio, Alberto 2 Madhusudan, Parthasarathy 2 Padon, Oded 2 Sagiv, Mooly 1 Aiken, Alex 1 Bjørner, Nikolaj S. 1 Bourhis, Pierre 1 Braine, Julien 1 Chakraborty, Supratik 1 Cohen, Liron 1 Frumkin, Asya 1 Garg, Pranav 1 Ghilardi, Silvio 1 Gianola, Alessandro 1 Gonnord, Laure 1 Gupta, Ashutosh 1 Gurfinkel, Arie 1 Han, Jesse Michael 1 Hélouët, Loïc 1 Immerman, Neil 1 Ish-Shalom, Oren 1 Itzhaky, Shachar 1 Kapur, Deepak 1 Krueger, Ryan 1 Lhoták, Ondřej 1 Mathur, Umang 1 McMillan, Kenneth L. 1 Miklós, Zoltán 1 Monniaux, David P. 1 Mover, Sergio 1 Müller, Christan 1 Neider, Daniel 1 Park, Daejun 1 Peuter, Dennis 1 Redondi, Gianluca 1 Rinetzky, Noam 1 Rybalchenko, Andrey 1 Saha, Shambwaditya 1 Seidl, Helmut 1 Selsam, Daniel 1 Sharma, Rahul Kumar 1 Singh, Rituraj 1 Sofronie-Stokkermans, Viorica 1 Tonetta, Stefano 1 Unadkat, Divyesh 1 Viswanathan, Mahesh 1 Voigt, Marco Cited in 2 Serials 2 Journal of Automated Reasoning 2 Formal Methods in System Design Cited in 2 Fields 18 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) Citations by Year