关注
Shachar Itzhaky
标题
引用次数
引用次数
年份
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
2602014
Verified lifting of stencil computations
S Kamil, A Cheung, S Itzhaky, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 711-726, 2016
1002016
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
832017
A simple inductive synthesis methodology and its applications
S Itzhaky, S Gulwani, N Immerman, M Sagiv
ACM Sigplan Notices 45 (10), 36-46, 2010
692010
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
672013
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
592014
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
502016
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
442014
Verifying equivalence of spark programs
S Grossman, S Cohen, S Itzhaky, N Rinetzky, M Sagiv
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
312017
Cyclic program synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
252021
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
242020
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
232016
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
232016
Theory exploration powered by deductive synthesis
E Singher, S Itzhaky
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
192021
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
172020
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
172013
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
152020
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
122019
Abstraction-based interaction model for synthesis
H Peleg, S Itzhaky, S Shoham
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
122018
Type-driven repair for information flow security
N Polikarpova, J Yang, S Itzhaky, A Solar-Lezama
CoRR abs/1607.03445, 2016
122016
系统目前无法执行此操作,请稍后再试。
文章 1–20