Research output per year
Research output 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 Profiles
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
-
The Search for Constrained Random Generators
Goldstein, H., Peleg, H., Torczon, C., Sainati, D., Lampropoulos, L. & Pierce, B. C., Jun 2026, In: Proceedings of the ACM on Programming Languages. 10, 251.Technion - Israel Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
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).Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Debugging into Existence with Program Synthesis
Frankel, G., Segal, S. & Peleg, H., 2025, Proceedings - 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025. p. 116-127 12 p. (Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC).Technion - Israel Institute of Technology
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).Technion - Israel Institute of Technology
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).Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review