Get started
Author

Shachar Itzhaky

Observed names: Itzhaky, Shachar, S. Itzhaky, Shachar, Itzhaky
ORCID: 0000-0002-7276-7644
Observed ORCIDs: 0000-0002-7276-7644, 0000-0002-3306-5084
OpenAlex ID: A5010920313
VeriCon
2014 · Thomas Ball, Nikolaj Bjørner, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 150
VeriCon
2014 · Thomas Ball, Nikolaj Bjørner, et al. · ACM SIGPLAN Notices · 64
A simple inductive synthesis methodology and its applications
2010 · Shachar Itzhaky, Sumit Gulwani, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 58
Effectively-Propositional Reasoning about Reachability in Linked Data Structures
2013 · Shachar Itzhaky, Anindya Banerjee, et al. · Lecture notes in computer science · 56
Verified lifting of stencil computations
2016 · Shoaib Kamil, Alvin Cheung, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 54
PDF
Property-Directed Inference of Universal Invariants or Proving Their Absence
2017 · Aleksandr Karbyshev, Nikolaj Bjørner, et al. · Journal of the ACM · 42
Property-Directed Shape Analysis
2014 · Shachar Itzhaky, Nikolaj Bjørner, et al. · Lecture notes in computer science · 41
PDF
Modular reasoning about heap paths via effectively propositional formulas
2014 · Shachar Itzhaky, Anindya Banerjee, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 32
Property-Directed Inference of Universal Invariants or Proving Their Absence
2015 · A. Karbyshev, N. Bjørner, et al. · Lecture notes in computer science · 29
Cyclic program synthesis
2021 · Shachar Itzhaky, Hila Peleg, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 27
PDF
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
2016 · Shachar Itzhaky, Rohit Singh, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 27
PDF
Liquid information flow control
2020 · Nadia Polikarpova, Deian Stefan, et al. · Proceedings of the ACM on Programming Languages · 22
PDF
Theory Exploration Powered by Deductive Synthesis
2021 · Eytan Singher, Shachar Itzhaky · Lecture notes in computer science · 20
PDF
Leveraging Rust Types for Program Synthesis
2023 · Jonáš Fiala, Shachar Itzhaky, et al. · Proceedings of the ACM on Programming Languages · 18
PDF
AmiGo: Computational Design of Amigurumi Crochet Patterns
2022 · Michal Edelstein, Hila Peleg, et al. · ACM Symposium on Computational Fabrication (SCF) · 18
PDF
Object spreadsheets: a new computational model for end-user development of data-centric web applications
2016 · Matt McCutchen, Shachar Itzhaky, et al. · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 17
PDF
Verified lifting of stencil computations
2016 · Shoaib Kamil, Alvin Cheung, et al. · ACM SIGPLAN Notices · 17
PDF
On the Automated Verification of Web Applications with Embedded SQL
2017 · Itzhaky, Shachar, Kotek, Tomer, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 16
PDF
Hyperproperty Verification as CHC Satisfiability
2024 · Shachar Itzhaky, Sharon Shoham, et al. · Lecture notes in computer science · 15
PDF
Programming with a read-eval-synth loop
2020 · Hila Peleg, Roi Gabay, et al. · Proceedings of the ACM on Programming Languages · 15
PDF
Verifying Equivalence of Spark Programs
2017 · Shelly Grossman, Sara Cohen, et al. · Lecture notes in computer science · 15
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
2013 · Shachar Itzhaky, Sumit Gulwani, et al. · Lecture notes in computer science · 14
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
2020 · Oren Ish-Shalom, Shachar Itzhaky, et al. · Lecture notes in computer science · 12
Computing summaries of string loops in C for better testing and refactoring
2019 · Timotej Kapus, Oren Ish-Shalom, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 12
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
2016 · Shachar Itzhaky, Rohit Singh, et al. · ACM SIGPLAN Notices · 11
Works count: 71
Citation count: 899
H-index: 17
I10-index: 27
Year
Topic
Type