Verifying Equivalence of Spark Programs Technical Report 1-Nov-2016
Shelly Grossman , Sara Cohen , Shachar Itzhaky , Noam Rinetzky
Securing access to untrusted services from TEEs with GateKeeper
Meni Orenbach , Bar Raveh , Alon Berkenstadt , Yan Michalevsky
arXiv preprint arXiv:2211.07185
2
2022
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
Shachar Itzhaky , Rohit Singh , Armando Solar-Lezama , Kuat Yessenov
ACM SIGPLAN Notices 51 ( 10) 145 -164
50
2016
Amigo: computational design of amigurumi crochet patterns
Michal Edelstein , Hila Peleg , Shachar Itzhaky , Mirela Ben-Chen
1 -11
7
2022
Verified lifting of stencil computations
Shoaib Kamil , Alvin Cheung , Shachar Itzhaky , Armando Solar-Lezama
ACM SIGPLAN Notices 51 ( 6) 711 -726
101
2016
Type-driven repair for information flow security
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Armando Solar-Lezama
CoRR abs/1607.03445
12
2016
Enforcing information flow policies with type-targeted program synthesis
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Travis Hance
arXiv preprint arXiv:1607.03445
9
2018
Enforcing Declarative Policies with Targeted Program Synthesis
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Travis Hance
Programming by Predicates
Hila Peleg , Shachar Itzhaky , Sharon Shoham , Eran Yahav
Modular reasoning about heap paths via effectively propositional formulas
Shachar Itzhaky , Anindya Banerjee , Neil Immerman , Ori Lahav
POPL 2014 385 -396
44
2014
Cyclic program synthesis
Shachar Itzhaky , Hila Peleg , Nadia Polikarpova , Reuben NS Rowe
944 -959
24
2021
Theory exploration powered by deductive synthesis
Eytan Singher , Shachar Itzhaky
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II 33 125 -148
19
2021
Leveraging Rust Types for Program Synthesis
Jonáš Fiala , Shachar Itzhaky , Peter Müller , Nadia Polikarpova
Proceedings of the ACM on Programming Languages 7 ( PLDI) 1414 -1437
8
2023
A bounded symbolic-size model for symbolic execution
David Trabish , Shachar Itzhaky , Noam Rinetzky
1190 -1201
7
2021
Deductive synthesis of programs with pointers: techniques, challenges, opportunities
Shachar Itzhaky , Hila Peleg , Nadia Polikarpova , Reuben NS Rowe
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I 33 110 -134
6
2021
Automatic reasoning for pointer programs using decidable logics
Shachar Itzhaky
Ph. D. Dissertation. Tel Aviv University
5
2014
Hyperproperty verification as chc satisfiability
Shachar Itzhaky , Sharon Shoham , Yakir Vizel
Springer Nature Switzerland 212 -241
3
2024
SMT sampling via model-guided approximation
Matan I Peled , Bat-Chen Rothenberg , Shachar Itzhaky
Springer International Publishing 74 -91
2
2023
Address-aware query caching for symbolic execution
David Trabish , Shachar Itzhaky , Noam Rinetzky
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) 116 -126
2
2021
Colored E-Graph: Equality Reasoning with Conditions
Eytan Singher , Shachar Itzhaky
arXiv preprint arXiv:2305.19203
1
2023