Shachar Itzhaky

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 34

Top Topics

Information Flow Control

Symbolic Execution

Dynamic Programming Algorithms

Complexity Bounds

Top Venues

Proc. ACM Program. Lang.

Publications

Shachar Itzhaky, Sharon Shoham, Yakir Vizel
Hyperproperty Verification as CHC Satisfiability. ESOP (2) (2024)
Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey
Leveraging Rust Types for Program Synthesis. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Sean Hadar, Shachar Itzhaky
Scalable Spreadsheet-Driven End-User Applications with Incremental Computation. Onward! (2023)
Shachar Itzhaky, Sharon Shoham, Yakir Vizel
Hyperproperty Verification as CHC Satisfiability. CoRR (2023)
Eytan Singher, Shachar Itzhaky
Colored E-Graph: Equality Reasoning with Conditions. CoRR (2023)
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
SMT Sampling via Model-Guided Approximation. FM (2023)
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
SMT Sampling via Model-Guided Approximation. CoRR (2022)
Meni Orenbach, Bar Raveh, Alon Berkenstadt, Yan Michalevsky, Shachar Itzhaky, Mark Silberstein
Securing Access to Untrusted Services From TEEs with GateKeeper. CoRR (2022)
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
AmiGo: Computational Design of Amigurumi Crochet Patterns. SCF (2022)
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
AmiGo: Computational Design of Amigurumi Crochet Patterns. CoRR (2022)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Runtime Complexity Bounds Using Squeezers. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
David Trabish, Shachar Itzhaky, Noam Rinetzky
A bounded symbolic-size model for symbolic execution. ESEC/SIGSOFT FSE (2021)
Eytan Singher, Shachar Itzhaky
Theory Exploration Powered by Deductive Synthesis. CAV (2) (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. CoRR (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Run-time Complexity Bounds Using Squeezers. ESOP (2021)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). CAV (1) (2021)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Cyclic program synthesis. PLDI (2021)
David Trabish, Shachar Itzhaky, Noam Rinetzky
Address-Aware Query Caching for Symbolic Execution. ICST (2021)
Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
Programming by predicates: a formal model for interactive synthesis. Acta Informatica 57 (1-2) (2020)
Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
Programming with a read-eval-synth loop. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
Liquid information flow control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. VMCAI (2020)
Eytan Singher, Shachar Itzhaky
Theory Exploration Powered By Deductive Synthesis. CoRR (2020)
Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. VMCAI (2020)
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Computing summaries of string loops in C for better testing and refactoring. PLDI (2019)
Hila Peleg, Shachar Itzhaky, Sharon Shoham
Abstraction-Based Interaction Model for Synthesis. VMCAI (2018)
Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv
Verifying Equivalence of Spark Programs. CAV (2) (2017)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. J. ACM 64 (1) (2017)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the Automated Verification of Web Applications with Embedded SQL. ICDT (2017)
Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama
Type-Driven Repair for Information Flow Security. CoRR (2016)
Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. OOPSLA (2016)
Matt McCutchen, Shachar Itzhaky, Daniel Jackson
Object spreadsheets: a new computational model for end-user development of data-centric web applications. Onward! (2016)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the automated verification of web applications with embedded SQL. CoRR (2016)
Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
Verified lifting of stencil computations. PLDI (2016)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. CAV (1) (2015)
Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
Property-Directed Shape Analysis. CAV (2014)
Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Ori Lahav, Aleksandar Nanevski, Mooly Sagiv
Modular reasoning about heap paths via effectively propositional formulas. POPL (2014)
Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
VeriCon: towards verifying controller programs in software-defined networks. PLDI (2014)
Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv
Effectively-Propositional Reasoning about Reachability in Linked Data Structures. CAV (2013)
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. LPAR (2013)
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
A simple inductive synthesis methodology and its applications. OOPSLA (2010)