I am a Senior Lecturer 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’m seeking MSc students for thesis projects!
I completed my PhD with Prof. Eran Yahav in 2019 and worked with Nadia Polikarpova as a postdoc at UCSD.
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/