No photo of Hila Peleg

View Scopus Profile

Hila Peleg

Dr.

 https://orcid.org/0000-0002-0107-5659
    20132025

    Research activity per year

    Fingerprint

    Dive into the research topics where Hila Peleg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Researchers
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • Bottom-Up Synthesis of Memory Mutations with Separation Logic

      Ferdowsi, K. & Peleg, H., 25 Jun 2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (eds.). 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • ScooPy: Enhancing Program Synthesis with Nested Example Specifications

      Katz, T. & Peleg, H., 9 Oct 2025, Onward! 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2025. Chiba, S., Klokmose, C. N. & Gordon, C. (eds.). p. 26-43 18 p. (Onward! 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2025).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Constrictor: Immutability as a Design Concept

      Kinsbruner, E., Itzhaky, S. & Peleg, H., Sep 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Programming-by-Example with Nested Examples

      Katz, T. & Peleg, H., 2023, Proceedings - 2023 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2023. p. 280-282 3 p. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • AmiGo: Computational Design of Amigurumi Crochet Patterns

      Edelstein, M., Peleg, H., Itzhaky, S. & Ben-Chen, M., 26 Oct 2022, Proceedings - SCF 2022 - 7th Annual ACM Symposium on Computational Fabrication. Spencer, S. N. (ed.). 5. (Proceedings - SCF 2022 - 7th Annual ACM Symposium on Computational Fabrication).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    View all 18 Research outputs