Shachar Itzhaky
Tel Aviv University
H-index: 16
Asia-Israel
Top articles of Shachar Itzhaky
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Hyperproperty verification as chc satisfiability | Shachar Itzhaky Sharon Shoham Yakir Vizel | 2024/4/5 | |
Leveraging Rust Types for Program Synthesis | Proceedings of the ACM on Programming Languages | Jonáš Fiala Shachar Itzhaky Peter Müller Nadia Polikarpova Ilya Sergey | 2023/6/6 |
Colored E-Graph: Equality Reasoning with Conditions | arXiv preprint arXiv:2305.19203 | Eytan Singher Shachar Itzhaky | 2023/5/30 |
SMT sampling via model-guided approximation | Matan I Peled Bat-Chen Rothenberg Shachar Itzhaky | 2023/3/3 | |
Scalable Spreadsheet-Driven End-User Applications with Incremental Computation | Sean Hadar Shachar Itzhaky | 2023/10/18 | |
Runtime Complexity Bounds Using Squeezers | ACM Transactions on Programming Languages and Systems (TOPLAS) | Oren Ish-Shalom Shachar Itzhaky Noam Rinetzky Sharon Shoham | 2022/7/15 |
Securing access to untrusted services from TEEs with GateKeeper | arXiv preprint arXiv:2211.07185 | Meni Orenbach Bar Raveh Alon Berkenstadt Yan Michalevsky Shachar Itzhaky | 2022/11/14 |
Amigo: computational design of amigurumi crochet patterns | Michal Edelstein Hila Peleg Shachar Itzhaky Mirela Ben-Chen | 2022/10/26 | |
Theory exploration powered by deductive synthesis | Eytan Singher Shachar Itzhaky | 2021 | |
A bounded symbolic-size model for symbolic execution | David Trabish Shachar Itzhaky Noam Rinetzky | 2021/8/20 | |
Cyclic program synthesis | Shachar Itzhaky Hila Peleg Nadia Polikarpova Reuben NS Rowe Ilya Sergey | 2021/6/19 | |
Address-aware query caching for symbolic execution | David Trabish Shachar Itzhaky Noam Rinetzky | 2021/4/12 | |
Deductive synthesis of programs with pointers: techniques, challenges, opportunities | Shachar Itzhaky Hila Peleg Nadia Polikarpova Reuben NS Rowe Ilya Sergey | 2021 | |
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 | 2020/1/13 | |
Incremental Computation of Spreadsheet Formulas | Sean Hadar Shachar Itzhaky | 2020 | |
Programming with a read-eval-synth loop | Proceedings of the ACM on Programming Languages | Hila Peleg Roi Gabay Shachar Itzhaky Eran Yahav | 2020/11/13 |
Synthesis with Granular Interactive Model | Roi Gabay Shachar Itzhaky | 2020 | |
Liquid information flow control | Proceedings of the ACM on Programming Languages | Nadia Polikarpova Deian Stefan Jean Yang Shachar Itzhaky Travis Hance | 2020/8/2 |
Programming by predicates: a formal model for interactive synthesis | Acta Informatica | Hila Peleg Shachar Itzhaky Sharon Shoham Eran Yahav | 2020/4 |
Putting the squeeze on array programs: Loop verification via inductive rank reduction | Oren Ish-Shalom Shachar Itzhaky Noam Rinetzky Sharon Shoham | 2020/1/13 |