Shachar Itzhaky

According to our database, Shachar Itzhaky authored at least 39 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs.

Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2024

Constrictor: Immutability as a Design Concept (Artifact).

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Dagstuhl Artifacts Ser., 2024

Kotlin's Type System is (Also) Unsound.

Elad Kinsbruner, Hila Peleg, Shachar Itzhaky

CoRR, 2024

Hyperproperty Verification as CHC Satisfiability.

Shachar Itzhaky, Sharon Shoham, Yakir Vizel

Proceedings of the Programming Languages and Systems, 2024

Constrictor: Immutability as a Design Concept.

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Leveraging Rust Types for Program Synthesis.

Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2023

Colored E-Graph: Equality Reasoning with Conditions.

Eytan Singher, Shachar Itzhaky

CoRR, 2023

Scalable Spreadsheet-Driven End-User Applications with Incremental Computation.

Sean Hadar, Shachar Itzhaky

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

SMT Sampling via Model-Guided Approximation.

Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Runtime Complexity Bounds Using Squeezers.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

ACM Trans. Program. Lang. Syst., 2022

Securing Access to Untrusted Services From TEEs with GateKeeper.

Meni Orenbach, Bar Raveh, Alon Berkenstadt, Yan Michalevsky, Shachar Itzhaky, Mark Silberstein

CoRR, 2022

AmiGo: Computational Design of Amigurumi Crochet Patterns.

Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen

Proceedings of the SCF '22: Proceedings of the 7th Annual ACM Symposium on Computational Fabrication, 2022

2021

A bounded symbolic-size model for symbolic execution.

David Trabish, Shachar Itzhaky, Noam Rinetzky

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Cyclic program synthesis.

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Address-Aware Query Caching for Symbolic Execution.

David Trabish, Shachar Itzhaky, Noam Rinetzky

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Run-time Complexity Bounds Using Squeezers.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Proceedings of the Programming Languages and Systems, 2021

Theory Exploration Powered by Deductive Synthesis.

Eytan Singher, Shachar Itzhaky

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Liquid information flow control.

Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama

Proc. ACM Program. Lang., 2020

Programming with a read-eval-synth loop.

Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav

Proc. ACM Program. Lang., 2020

Programming by predicates: a formal model for interactive synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav

Acta Informatica, 2020

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.

Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Abstraction-Based Interaction Model for Synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Property-Directed Inference of Universal Invariants or Proving Their Absence.

Aleksandr Karbyshev, Nikolaj S. Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

J. ACM, 2017

On the Automated Verification of Web Applications with Embedded SQL.

Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger

Proceedings of the 20th International Conference on Database Theory, 2017

Verifying Equivalence of Spark Programs.

Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Type-Driven Repair for Information Flow Security.

Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama

CoRR, 2016

Verified lifting of stencil computations.

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Object spreadsheets: a new computational model for end-user development of data-centric web applications.

Matt McCutchen, Shachar Itzhaky, Daniel Jackson

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

Automatic reasoning for pointer programs using decidable logics / Itzhaky Shachar

Shachar Itzhaky

PhD thesis, 2014

Modular reasoning about heap paths via effectively propositional formulas.

Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Ori Lahav, Aleksandar Nanevski, Mooly Sagiv

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

VeriCon: towards verifying controller programs in software-defined networks.

Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Property-Directed Shape Analysis.

Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Effectively-Propositional Reasoning about Reachability in Linked Data Structures.

Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2010

A simple inductive synthesis methodology and its applications.

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010