Property-Directed Inference of Universal Invariants or Proving Their Absence
NIKOLAJ BJØRNER , SHACHAR ITZHAKY , NOAM RINETZKY , SHARON SHOHAM
Initial report on Object Spreadsheets
Shachar Itzhaky , Daniel Jackson , Richard Matthew McCutchen
2
2016
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.
Noam Rinetzky , Roman Manevich , Shachar Itzhaky , Oren Ish-Shalom
verification, model checking and abstract interpretation 180 -201
2020
Abstraction-Based Interaction Model for Synthesis
Hila Peleg , Shachar Itzhaky , Sharon Shoham
verification model checking and abstract interpretation 382 -405
4
2018
Property-Directed Inference of Universal Invariants or Proving Their Absence
Aleksandr Karbyshev , Nikolaj Bjørner , Shachar Itzhaky , Noam Rinetzky
Journal of the ACM 64 ( 1) 1 -33
17
2017
Liquid information flow control
Nadia Polikarpova , Deian Stefan , Jean Yang , Shachar Itzhaky
Proceedings of the ACM on Programming Languages 4 1 -30
3
2020
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Oren Ish-Shalom , Shachar Itzhaky , Noam Rinetzky , Sharon Shoham
verification model checking and abstract interpretation 112 -135
6
2020
Verifying Equivalence of Spark Programs
Shelly Grossman , Sara Cohen , Shachar Itzhaky , Noam Rinetzky
computer aided verification 282 -300
26
2017
Programming with a read-eval-synth loop
Hila Peleg , Roi Gabay , Shachar Itzhaky , Eran Yahav
Proceedings of the ACM on Programming Languages 4 1 -30
3
2020
A simple inductive synthesis methodology and its applications
Shachar Itzhaky , Sumit Gulwani , Neil Immerman , Mooly Sagiv
Sigplan Notices
8
2010
Effectively-Propositional Reasoning about Reachability in Linked Data Structures
Shachar Itzhaky , Anindya Banerjee , Neil Immerman , Aleksandar Nanevski
Computer Aided Verification 756 -772
46
2013
Property-Directed Shape Analysis
Shachar Itzhaky , Nikolaj Bjørner , Thomas Reps , Mooly Sagiv
computer aided verification 35 -51
34
2014
Object spreadsheets: a new computational model for end-user development of data-centric web applications
Matt McCutchen , Shachar Itzhaky , Daniel Jackson
sigplan symposium on new ideas new paradigms and reflections on programming and software 112 -127
7
2016
Programming by predicates: a formal model for interactive synthesis
Hila Peleg , Shachar Itzhaky , Sharon Shoham , Eran Yahav
Acta Informatica 57 ( 1) 165 -193
2020
Synthesis with Granular Interactive Model
Roi Gabay , Shachar Itzhaky
Smpte Journal
2020
Solving geometry problems using a combination of symbolic and numerical reasoning
Shachar Itzhaky , Sumit Gulwani , Neil Immerman , Mooly Sagiv
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings 19 457 -472
17
2013
Inductive Synthesis
Neil Immerman , Shachar Itzhaky , Sumit Gulwani , Mooly Sagiv
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)| 978-1-7281-6836-4/20/$31.00© 2021 IEEE| DOI: 10.1109/ICST49551. 2021.00064
Ramos Afonso , Afsoon Afzal , Wasif Afzal , Bestoun S Ahmed
On the automated verification of web applications with embedded SQL
Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv
arXiv preprint arXiv:1610.02101
22
2016
Lambda Calculus
Oded Padon , Mooly Sagiv , Shachar Itzhaky , S Tanimoto