Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017 | 487 | 2017 |
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 | 49 | 2020 |
Small-Step Live Programming by Example K Ferdowsifard, A Ordookhanians, H Peleg, S Lerner, N Polikarpova | 49 | 2020 |
Programming Not Only by Example H Peleg, S Shoham, E Yahav Proceedings of the 40th International Conference on Software Engineering …, 2018 | 45 | 2018 |
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 | 34 | 2020 |
Perfect is the Enemy of Good: Best-Effort Program Synthesis H Peleg, N Polikarpova 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 33 | 2020 |
Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 31 | 2021 |
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 | 23 | 2021 |
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 | 20 | 2020 |
Machine learning for input fuzzing P Godefroid, R Singh, H Peleg US Patent 10,983,853, 2021 | 17 | 2021 |
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics K Alpernas, YMY Feldman, H Peleg Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 14 | 2020 |
Symbolic automata for static specification mining H Peleg, S Shoham, E Yahav, H Yang Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 14 | 2013 |
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 | 11 | 2022 |
Some challenges for software testing research (invited talk paper) N Alshahwan, A Ciancone, M Harman, Y Jia, K Mao, A Marginean, A Mols, ... ISSTA 2019-Proceedings of the 28th ACM SIGSOFT International Symposium on …, 2019 | 10 | 2019 |
D^ 3: Data-Driven Disjunctive Abstraction H Peleg, S Shoham, E Yahav International Conference on Verification, Model Checking, and Abstract …, 2016 | 9 | 2016 |
Synthesis of web layouts from examples D Lukes, J Sarracino, C Coleman, H Peleg, S Lerner, N Polikarpova Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 7 | 2021 |
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 | 7 | 2021 |
Symbolic automata for representing big code H Peleg, S Shoham, E Yahav, H Yang Acta Informatica 53 (4), 327-356, 2016 | 4 | 2016 |
Programming by predicates: a formal model for interactive synthesis H Peleg, S Itzhaky, S Shoham, E Yahav Acta Informatica 57 (1), 165-193, 2020 | 2 | 2020 |