I am an Assistant Professor at the Technion, Haifa, working in the intersection of Programming Languages, Software Engineering, and Human-Computer Interaction. My research interests are in the fields of Programming Languages and Program Synthesis, specifically interaction models that create more versatile program synthesis solutions for programmers.
I completed my PhD with Prof. Eran Yahav in 2019 and worked with Nadia Polikarpova as a postdoc at UCSD.
My ERC-funded EXPLOSYN project is hiring PhD students and postdocs!
If you have SE and PL experience and would like to work on the future of program synthesis, drop me a line!
If you have SE and PL experience and would like to work on the future of program synthesis, drop me a line!
Current projects
- SnipPy: integrating program synthesis and Live Programming. SnipPy (UIST’20), LooPy (OOPSLA’21)
- Comprehension of synthesized programs, joint work with Glassman Lab.
Publications
-
AmiGo: Computational Design of Amigurumi Crochet Patterns
Michal Edelstein, Hila Peleg, Shachar Itzhaky, Mirela Ben-Chen
SCF2022: [paper] -
Synthesis of Web Layouts from Examples
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
FSE 2021: [paper] [talk] [bib] -
Small-Step Live Programming by Example
Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
UIST 2020: [paper] [short preview] [long preview] [talk] [bib] - Programming Not Only by Example
Hila Peleg, Sharon Shoham, Eran Yahav
ICSE 2018: [paper] [presentation] [bib] - Abstraction-Based Interaction Model for Synthesis
Hila Peleg, Shachar Itzhaky, Sharon Shoham
VMCAI2018: [paper] [presentation] [bib] - Generating Tests by Example
Hila Peleg, Dan Rasin, Eran Yahav
VMCAI2018: [paper (extended)] [presentation] [bib] - Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, Rishabh Singh
ASE 2017: [paper]
Arxiv: [technical report] - D3: Data-Driven Disjunctive Abstraction
Hila Peleg, Sharon Shoham, Eran Yahav
VMCAI2016: [paper] [presentation] [bib] - Symbolic Automata for Static Specification Mining
Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
SAS2013: [paper] [presentation] [video] [bib]
Acta Informatica: [paper] [bib] - Smashing Expectations for Fun and Profit: Intertextuality and “Rip-Off” in the Novels of John Scalzi
Hila Peleg
Science Fiction beyond Borders, Ed. Shawn Edrei and Danielle Gurevitch
Cambridge Scholars Publishing, 2016 [book]
Courses
- Winter 2022-2023:
User-Centered Programming Tools (Advanced Topics in Software Engineering)
Seminar in Programming Languages - Spring 2022:
Theory of Compilation
Talks
- Program Synthesis Co-Design
Workshop on Dependable and Secure Software Systems, Oct 8, 2022
[video] - Programmer Tools with Program Synthesis
UMass Systems Lunch, Oct 9, 2020
[video] - Automatic Programming: How Far can Machines Go?
YOW! Sydney – Nov 29, 2018
YOW! Brisbane – Dec 3, 2018
YOW! Melbourne – Dec 6, 2018
[slides] [poster] [video] [graphic recording] - On the Importance of Common Sense in Program Synthesis
ML4PL 2018
[slides]
Activities
- PC Chair
ISSTA Tool Demo Track 2022 - Program Committee
PLDI 2021, 2023
PEPM 2023
<Programming> 2022
PX 2022
SCAM 2021
ECOOP 2021
HATRA 2020,2021, 2022
SYNT 2020, 2021
LIVE 2021
VSTTE 2020
ISSTA 2020 Tool Demo
ECOOP 2019 Doctoral Symposium - External Review Committee
ASPLOS 2021
OOPSLA 2020 - Organizing Committee
FLoC 2022 Student Volunteer Co-Chair
PLMW @ PLDI 2021
PL+HCI Swimmer School 2020, 2022
ML4PL 2018 - Student Research Competition Committes
POPL 2021
SPLASH 2020
Misc
- Israeli Society for Science Fiction and Fantasy and its major conventions: ICon (Sukkot), Olamot (Passover), and Meorot (Hanukkah)
- My schpiel on the anti-geek and misogyny that The Big Bang Theory promoted (Sharat Hatarbut podcast, Hebrew)
- Collected writing for Starbase 972, the Israeli Star Trek fan site:
https://starbase972.com/2014/09/01/1085/
https://starbase972.com/2015/08/12/1129/
https://starbase972.com/2020/06/09/1247/