Shachar Itzhaky
Title
Cited by
Cited by
Year
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
2012014
A simple inductive synthesis methodology and its applications
S Itzhaky, S Gulwani, N Immerman, M Sagiv
ACM Sigplan Notices 45 (10), 36-46, 2010
622010
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
582013
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
472017
Property-directed shape analysis
S Itzhaky, N Bjørner, T Reps, M Sagiv, A Thakur
International Conference on Computer Aided Verification, 35-51, 2014
472014
Verified lifting of stencil computations
S Kamil, A Cheung, S Itzhaky, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 711-726, 2016
382016
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
352014
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
322016
Verifying equivalence of spark programs
S Grossman, S Cohen, S Itzhaky, N Rinetzky, M Sagiv
International Conference on Computer Aided Verification, 282-300, 2017
152017
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
142016
Solving geometry problems using a combination of symbolic and numerical reasoning
S Itzhaky, S Gulwani, N Immerman, M Sagiv
International Conference on Logic for Programming Artificial Intelligence …, 2013
132013
Clay surface properties by water vapor sorption methods
ID Akin
122014
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
112016
Type-driven repair for information flow security
N Polikarpova, J Yang, S Itzhaky, A Solar-Lezama
CoRR abs/1607.03445, 2016
102016
Abstraction-based interaction model for synthesis
H Peleg, S Itzhaky, S Shoham
International Conference on Verification, Model Checking, and Abstract …, 2018
92018
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
32020
Enforcing information flow policies with type-targeted program synthesis
N Polikarpova, J Yang, S Itzhaky, T Hance, A Solar-Lezama
arXiv preprint arXiv:1607.03445, 2016
32016
Automatic reasoning for pointer programs using decidable logics
S Itzhaky
Ph. D. Dissertation. Tel Aviv University, 2014
32014
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
22020
Initial report on Object Spreadsheets
RM McCutchen, S Itzhaky, D Jackson
22016
The system can't perform the operation now. Try again later.
Articles 1–20