Hila Peleg

36 papers A* 4A 4B 6Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact).
Dagstuhl Artifacts Ser.
Kasra Ferdowsi, Hila Peleg
2025 A conf
Bottom-Up Synthesis of Memory Mutations with Separation Logic.
ECOOP
Kasra Ferdowsi, Hila Peleg
2025 B conf
Debugging into Existence with Program Synthesis.
VL/HCC
Guy Frankel, Shay Segal, Hila Peleg
2025 J jnl
RFSeek and Ye Shall Find.
CoRR
Noga H. Rotman, Tiago Ferreira, Hila Peleg, Mark Silberstein, Alexandra Silva
2025 J jnl
The Search for Constrained Random Generators.
CoRR
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
2024 J jnl
Constrictor: Immutability as a Design Concept (Artifact).
Dagstuhl Artifacts Ser.
Elad Kinsbruner, Shachar Itzhaky, Hila Peleg
2024 A conf
Constrictor: Immutability as a Design Concept.
ECOOP
Elad Kinsbruner, Shachar Itzhaky, Hila Peleg
2024 J jnl
Kotlin's Type System is (Also) Unsound.
CoRR
Elad Kinsbruner, Hila Peleg, Shachar Itzhaky
2023 B conf
Programming-by-Example with Nested Examples.
VL/HCC
Tomer Katz, Hila Peleg
2022 — conf
AmiGo: Computational Design of Amigurumi Crochet Patterns.
SCF
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
2022 J jnl
AmiGo: Computational Design of Amigurumi Crochet Patterns.
CoRR
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
2021 A* conf
Cyclic program synthesis.
PLDI
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
2021 — conf
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper).
CAV (1)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
2021 J jnl
LooPy: interactive program synthesis with control structures.
Proc. ACM Program. Lang.
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2021 — conf
Synthesis of web layouts from examples.
ESEC/SIGSOFT FSE
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2020 J jnl
Digging for fold: synthesis-aided API discovery for Haskell.
Proc. ACM Program. Lang.
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova
2020 J jnl
Just-in-Time Learning for Bottom-Up Enumerative Synthesis.
CoRR
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2020 J jnl
Just-in-time learning for bottom-up enumerative synthesis.
Proc. ACM Program. Lang.
Shraddha Barke, Hila Peleg, Nadia Polikarpova
2020 A conf
Perfect Is the Enemy of Good: Best-Effort Program Synthesis.
ECOOP
Hila Peleg, Nadia Polikarpova
2020 J jnl
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).
Dagstuhl Artifacts Ser.
Hila Peleg, Nadia Polikarpova
2020 J jnl
Programming by predicates: a formal model for interactive synthesis.
Acta Informatica
Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
2020 J jnl
Programming with a read-eval-synth loop.
Proc. ACM Program. Lang.
Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
2020 A* conf
Small-Step Live Programming by Example.
UIST
Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2020 — conf
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics.
Onward!
Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg
2019 — —
Program Synthesis for Programmers.
Hila Peleg
2019 A conf
Some challenges for software testing research (invited talk paper).
ISSTA
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin
2018 B conf
Abstraction-Based Interaction Model for Synthesis.
VMCAI
Hila Peleg, Shachar Itzhaky, Sharon Shoham
2018 B conf
Generating Tests by Example.
VMCAI
Hila Peleg, Dan Rasin, Eran Yahav
2018 — conf
On the importance of common sense in program synthesis.
ISSTA/ECOOP Workshops
Hila Peleg
2018 A* conf
Programming not only by example.
ICSE
Hila Peleg, Sharon Shoham, Eran Yahav
2017 J jnl
Learn&Fuzz: Machine Learning for Input Fuzzing.
CoRR
Patrice Godefroid, Hila Peleg, Rishabh Singh
2017 A* conf
Learn&Fuzz: machine learning for input fuzzing.
ASE
Patrice Godefroid, Hila Peleg, Rishabh Singh
2017 J jnl
Programming Not Only by Example.
CoRR
Hila Peleg, Sharon Shoham, Eran Yahav
2016 B conf
D^3 : Data-Driven Disjunctive Abstraction.
VMCAI
Hila Peleg, Sharon Shoham, Eran Yahav
2016 J jnl
Symbolic automata for representing big code.
Acta Informatica
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
2013 B conf
Symbolic Automata for Static Specification Mining.
SAS
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang