Shachar Itzhaky

Available identifiers

Publication	Date of Publication	Type
SMT sampling via model-guided approximation	2023-08-17	Paper
Verifying equivalence of Spark programs	2022-08-12	Paper
Theory exploration powered by deductive synthesis	2022-03-25	Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)	2022-03-25	Paper
Run-time complexity bounds using squeezers	2021-10-18	Paper
Putting the squeeze on array programs: loop verification via inductive rank reduction	2020-08-05	Paper
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation	2020-08-05	Paper
Abstraction-Based Interaction Model for Synthesis	2020-07-07	Paper
Programming by predicates: a formal model for interactive synthesis	2020-03-06	Paper
Property-Directed Inference of Universal Invariants or Proving Their Absence	2018-08-02	Paper
On the Automated Verification of Web Applications with Embedded SQL	2018-07-18	Paper
Property-directed inference of universal invariants or proving their absence	2018-03-01	Paper
Modular reasoning about heap paths via effectively propositional formulas	2014-04-10	Paper
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning	2014-01-17	Paper

This page was built for person: Shachar Itzhaky