Hila Peleg
Technion – Israel Institute of Technology(IL)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → Learn&Fuzz: Machine learning for input fuzzing(2017)315 cited
- Learn&Fuzz: Machine Learning for Input Fuzzing(2017)
- → Small-Step Live Programming by Example(2020)38 cited
- → Programming not only by example(2018)35 cited
- → Just-in-time learning for bottom-up enumerative synthesis(2020)30 cited
- → Cyclic program synthesis(2021)25 cited
- → Digging for fold: synthesis-aided API discovery for Haskell(2020)18 cited
- → LooPy: interactive program synthesis with control structures(2021)16 cited
- → Programming with a read-eval-synth loop(2020)15 cited
- → Perfect Is the Enemy of Good: Best-Effort Program Synthesis(2020)15 cited