Follow
Hila Peleg
Hila Peleg
Verified email at cs.technion.ac.il - Homepage
Title
Cited by
Cited by
Year
Learn&fuzz: Machine learning for input fuzzing
P Godefroid, H Peleg, R Singh
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
4872017
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
492020
Small-Step Live Programming by Example
K Ferdowsifard, A Ordookhanians, H Peleg, S Lerner, N Polikarpova
492020
Programming Not Only by Example
H Peleg, S Shoham, E Yahav
Proceedings of the 40th International Conference on Software Engineering …, 2018
452018
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
342020
Perfect is the Enemy of Good: Best-Effort Program Synthesis
H Peleg, N Polikarpova
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
332020
Cyclic program synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
312021
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
232021
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
202020
Machine learning for input fuzzing
P Godefroid, R Singh, H Peleg
US Patent 10,983,853, 2021
172021
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
142020
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
142013
Abstraction-Based Interaction Model for Synthesis
H Peleg, S Itzhaky, S Shoham
International Conference on Verification, Model Checking, and Abstract …, 2018
132018
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
112022
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
102019
D^ 3: Data-Driven Disjunctive Abstraction
H Peleg, S Shoham, E Yahav
International Conference on Verification, Model Checking, and Abstract …, 2016
92016
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
72021
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
72021
Symbolic automata for representing big code
H Peleg, S Shoham, E Yahav, H Yang
Acta Informatica 53 (4), 327-356, 2016
42016
Programming by predicates: a formal model for interactive synthesis
H Peleg, S Itzhaky, S Shoham, E Yahav
Acta Informatica 57 (1), 165-193, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20