No photo of Hila Peleg

View Scopus Profile

Hila Peleg

Dr.

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

    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

    • 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

    • Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper)

      Itzhaky, S., Peleg, H., Polikarpova, N., Rowe, R. N. S. & Sergey, I., 2021, COMPUTER AIDED VERIFICATION (CAV 2021), PT I. Silva, A. & Leino, K. R. (eds.). Vol. 12759. p. 110-134 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

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

      Open Access

    • Digging for fold: Synthesis-aided API discovery for Haskell

      James, M. B., Guo, Z., Wang, Z., Doshi, S., Peleg, H., Jhala, R. & Polikarpova, N., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 205.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    View all 16 Research outputs