Shachar Itzhaky

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SMT sampling via model-guided approximation Formal Methods	2023-08-17	Paper
Verifying equivalence of Spark programs	2022-08-12	Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)	2022-03-25	Paper
Theory exploration powered by deductive synthesis (available as arXiv preprint)	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 (available as arXiv preprint)	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 Lecture Notes in Computer Science	2020-07-07	Paper
Programming by predicates: a formal model for interactive synthesis Acta Informatica	2020-03-06	Paper
Property-directed inference of universal invariants or proving their absence Journal of the ACM	2018-08-02	Paper
On the automated verification of web applications with embedded SQL (available as arXiv preprint)	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 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Solving geometry problems using a combination of symbolic and numerical reasoning Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper

Research outcomes over time

This page was built for person: Shachar Itzhaky