Hila Peleg
where else to find them
github:hilaelpeleg
linkedin:hila-elpeleg-807805211
what they talk about
all 5 in the filters
where they keep going back
all 4 in the filters
on a stage with
all 17 in the filters
who talks about the same things
- Shraddha Barke5 talks
- Nadia Polikarpova24 talks
- Sumit Gulwani14 talks
- Arjun Radhakrishna10 talks
- Vu Le9 talks
- Ashish Tiwari8 talks
| title | conference | date |
|---|---|---|
| ScooPy: Enhancing Program Synthesis with Nested Example Specifications | Onward! 2025 | 2025-10-12 |
ScooPy integrates an IDE synthesizer with example scopes — comment-wrapped input/output examples that can be edited, live-checked, nested, and re-used to… | ||
| Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code(…) | EGRAPHS 2025 | 2025-06-16 |
Prototype framework combines equality saturation with random code mutations to optimize real Python molecular‑dynamics kernels, reproducing algebraic speedups… | ||
| Letting users do the undecidable: lessons from program synthesis | PLMW@PLDI 2024 | 2024-06-24 |
Argues that undecidable program synthesis becomes usable by shifting work into an interaction model and adapting the synthesizer: examples go through a live UI… | ||
| LooPy: Interactive Program Synthesis with Control Structures | OOPSLA 2021 | 2021-10-17 |
A Live Programming–integrated synthesizer called LooPy extends Small-Step Live PBE to handle loops by treating holes as runtime pauses and asking the… | ||
| The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics | Onward! 2020 | 2020-11-15 |
Paper argues that counting lines of code often misleads: a study of top-conference papers finds 44% reported code and among those most use LoC while only two… | ||
| Just-in-Time Learning for Bottom-Up Enumerative Synthesis | OOPSLA 2020 | 2020-11-15 |
Builds a solver called Probe that uses just-in-time learning to update PCFG production costs from cheapest partial solutions and then runs guided bottom-up… | ||
| Digging for Fold: Synthesis-Aided API Discovery for Haskell | OOPSLA 2020 | 2020-11-15 |
A synthesis-backed search called Hoogle Plus indexes popular Haskell libraries and synthesizes compositions that match either a provided type or inferred types… | ||
| Programming with a Read-Eval-Synth Loop | OOPSLA 2020 | 2020-11-15 |
A live REPL extended with synthesis called Read-Eval-Synth Loop stitches examples, sketching, and new predicates (notably retain) into specifications so the… | ||
| nothing matches | ||