| 2025 | ECOOP | Bottom-Up Synthesis of Memory Mutations with Separation Logic. | Kasra Ferdowsi, Hila Peleg |
| 2024 | ECOOP | Constrictor: Immutability as a Design Concept. | Elad Kinsbruner, Shachar Itzhaky, Hila Peleg |
| 2021 | CAV | Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2021 | PLDI | Cyclic program synthesis. | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
| 2020 | ECOOP | Perfect Is the Enemy of Good: Best-Effort Program Synthesis. | Hila Peleg, Nadia Polikarpova |
| 2020 | OOPSLA | The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. | Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg |
| 2020 | UIST | Small-Step Live Programming by Example. | Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova |
| 2019 | ISSTA | Some challenges for software testing research (invited talk paper). | Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin |
| 2018 | ICSE | Programming not only by example. | Hila Peleg, Sharon Shoham, Eran Yahav |
| 2018 | ISSTA | On the importance of common sense in program synthesis. | Hila Peleg |
| 2018 | VMCAI | Abstraction-Based Interaction Model for Synthesis. | Hila Peleg, Shachar Itzhaky, Sharon Shoham |
| 2018 | VMCAI | Generating Tests by Example. | Hila Peleg, Dan Rasin, Eran Yahav |
| 2016 | VMCAI | D^3 : Data-Driven Disjunctive Abstraction. | Hila Peleg, Sharon Shoham, Eran Yahav |
| 2013 | SAS | Symbolic Automata for Static Specification Mining. | Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang |