Hila Peleg

According to our database, Hila Peleg authored at least 27 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Constrictor: Immutability as a Design Concept (Artifact).

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Dagstuhl Artifacts Ser., 2024

Kotlin's Type System is (Also) Unsound.

Elad Kinsbruner, Hila Peleg, Shachar Itzhaky

CoRR, 2024

Constrictor: Immutability as a Design Concept.

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Programming-by-Example with Nested Examples.

Tomer Katz, Hila Peleg

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

AmiGo: Computational Design of Amigurumi Crochet Patterns.

Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen

Proceedings of the SCF '22: Proceedings of the 7th Annual ACM Symposium on Computational Fabrication, 2022

2021

LooPy: interactive program synthesis with control structures.

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proc. ACM Program. Lang., 2021

Synthesis of web layouts from examples.

Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Cyclic program synthesis.

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Programming with a read-eval-synth loop.

Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav

Proc. ACM Program. Lang., 2020

Digging for fold: synthesis-aided API discovery for Haskell.

Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Just-in-time learning for bottom-up enumerative synthesis.

Shraddha Barke, Hila Peleg, Nadia Polikarpova

Proc. ACM Program. Lang., 2020

Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).

Hila Peleg, Nadia Polikarpova

Dagstuhl Artifacts Ser., 2020

Programming by predicates: a formal model for interactive synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav

Acta Informatica, 2020

Small-Step Live Programming by Example.

Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

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

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

Perfect Is the Enemy of Good: Best-Effort Program Synthesis.

Hila Peleg, Nadia Polikarpova

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Program Synthesis for Programmers.

Hila Peleg

PhD thesis, 2019

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

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Generating Tests by Example.

Hila Peleg, Dan Rasin, Eran Yahav

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Abstraction-Based Interaction Model for Synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

On the importance of common sense in program synthesis.

Hila Peleg

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Programming not only by example.

Hila Peleg, Sharon Shoham, Eran Yahav

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Learn&Fuzz: machine learning for input fuzzing.

Patrice Godefroid, Hila Peleg, Rishabh Singh

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Symbolic automata for representing big code.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Acta Informatica, 2016

D^3 : Data-Driven Disjunctive Abstraction.

Hila Peleg, Sharon Shoham, Eran Yahav

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2013

Symbolic Automata for Static Specification Mining.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Proceedings of the Static Analysis - 20th International Symposium, 2013