Hila Peleg

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 26

Top Topics

Interaction Model

Program Synthesis

Programming Environments

Paying Attention

Top Venues

Proc. ACM Program. Lang.

Acta Informatica

Publications

Tomer Katz, Hila Peleg
Programming-by-Example with Nested Examples. VL/HCC (2023)
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
AmiGo: Computational Design of Amigurumi Crochet Patterns. SCF (2022)
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
AmiGo: Computational Design of Amigurumi Crochet Patterns. CoRR (2022)
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
LooPy: interactive program synthesis with control structures. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
Synthesis of web layouts from examples. ESEC/SIGSOFT FSE (2021)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). CAV (1) (2021)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Cyclic program synthesis. PLDI (2021)
Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
Programming by predicates: a formal model for interactive synthesis. Acta Informatica 57 (1-2) (2020)
Shraddha Barke, Hila Peleg, Nadia Polikarpova
Just-in-Time Learning for Bottom-Up Enumerative Synthesis. CoRR (2020)
Hila Peleg, Nadia Polikarpova
Perfect Is the Enemy of Good: Best-Effort Program Synthesis. ECOOP (2020)
Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
Programming with a read-eval-synth loop. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova
Digging for fold: synthesis-aided API discovery for Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. Onward! (2020)
Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
Small-Step Live Programming by Example. UIST (2020)
Shraddha Barke, Hila Peleg, Nadia Polikarpova
Just-in-time learning for bottom-up enumerative synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Hila Peleg, Nadia Polikarpova
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin
Some challenges for software testing research (invited talk paper). ISSTA (2019)
Hila Peleg, Dan Rasin, Eran Yahav
Generating Tests by Example. VMCAI (2018)
Hila Peleg, Sharon Shoham, Eran Yahav
Programming not only by example. ICSE (2018)
Hila Peleg, Shachar Itzhaky, Sharon Shoham
Abstraction-Based Interaction Model for Synthesis. VMCAI (2018)
Hila Peleg
On the importance of common sense in program synthesis. ISSTA/ECOOP Workshops (2018)
Hila Peleg, Sharon Shoham, Eran Yahav
Programming Not Only by Example. CoRR (2017)
Patrice Godefroid, Hila Peleg, Rishabh Singh
Learn&Fuzz: Machine Learning for Input Fuzzing. CoRR (2017)
Patrice Godefroid, Hila Peleg, Rishabh Singh
Learn&Fuzz: machine learning for input fuzzing. ASE (2017)
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
Symbolic automata for representing big code. Acta Informatica 53 (4) (2016)
Hila Peleg, Sharon Shoham, Eran Yahav
D^3 : Data-Driven Disjunctive Abstraction. VMCAI (2016)
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
Symbolic Automata for Static Specification Mining. SAS (2013)