| Abstraction-Based Interaction Model for Synthesis H Peleg, S Itzhaky, S Shoham International Conference on Verification, Model Checking, and Abstract …, 2018 | 13 | 2018 |
| AmiGo: Computational Design of Amigurumi Crochet Patterns M Edelstein, H Peleg, S Itzhaky, M Ben-Chen Proceedings of the 7th Annual ACM Symposium on Computational Fabrication, 1-11, 2022 | 10 | 2022 |
| Constrictor: Immutability as a Design Concept E Kinsbruner, S Itzhaky, H Peleg | | |
| Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 29 | 2021 |
| D^ 3: Data-Driven Disjunctive Abstraction H Peleg, S Shoham, E Yahav International Conference on Verification, Model Checking, and Abstract …, 2016 | 9 | 2016 |
| Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 6 | 2021 |
| Digging for fold: synthesis-aided API discovery for Haskell MB James, Z Guo, Z Wang, S Doshi, H Peleg, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 30 | 2020 |
| Generating Tests by Example H Peleg, D Rasin, E Yahav International Conference on Verification, Model Checking, and Abstract …, 2018 | 1 | 2018 |
| Just-in-time learning for bottom-up enumerative synthesis S Barke, H Peleg, N Polikarpova Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 42 | 2020 |
| Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017 | 474 | 2017 |
| LooPy: interactive program synthesis with control structures K Ferdowsifard, S Barke, H Peleg, S Lerner, N Polikarpova Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 20 | 2021 |
| Machine learning for input fuzzing P Godefroid, R Singh, H Peleg US Patent 10,983,853, 2021 | 17 | 2021 |
| On the importance of common sense in program synthesis. H Peleg ISSTA/ECOOP Workshops, 7, 2018 | | 2018 |
| Perfect is the Enemy of Good: Best-Effort Program Synthesis H Peleg, N Polikarpova 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 31 | 2020 |
| Program Synthesis Co-Design H Peleg PLATEAU 2023: 13th annual workshop on the intersection of HCI and PL, 2023 | | 2023 |
| Program Synthesis for Programmers H Peleg, E Yahav Computer Science Department, Technion, 2019 | | 2019 |
| Programming by predicates: a formal model for interactive synthesis H Peleg, S Itzhaky, S Shoham, E Yahav Acta Informatica 57 (1), 165-193, 2020 | 1 | 2020 |
| Programming Not Only by Example H Peleg, S Shoham, E Yahav Proceedings of the 40th International Conference on Software Engineering …, 2018 | 44 | 2018 |
| Programming with a read-eval-synth loop H Peleg, R Gabay, S Itzhaky, E Yahav Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 19 | 2020 |
| Reverse Sketching T Holloway, C Swoopes, I Arawjo, H Peleg, E Glassman Plateau Workshop, 0 | | |
Nadia PolikarpovaUCSD在 eng.ucsd.edu 的电子邮件经过验证
