Hila Peleg

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

Publications

  • LooPy: Interactive Program Synthesis with Control Structures
    Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
    OOPSLA 2021: [paper] [talk] [bib]
  • Synthesis of Web Layouts from Examples
    Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
    FSE 2021: [paper] [talk] [bib]
  • Cyclic Program Synthesis
    Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
    PLDI 2021: [paper] [bib]
    Distinguished Paper Award, PLDI 2021
  • Digging for Fold: Synthesis-Aided API Discovery for Haskell
    Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova
    OOPSLA 2020: [paper] [talk] [bib]
  • Just-in-Time Learning for Bottom-Up Enumerative Synthesis
    Shraddha Barke, Hila Peleg, Nadia Polikarpova
    OOPSLA 2020: [paper] [talk] [bib]
  • Programming with a Read-Eval-Synth Loop
    Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
    OOPSLA 2020: [paper] [talk] [artifact] [bib]
    Distinguished Artifact Award, SPLASH 2020
  • The Wonderful Wizard of LoC: Paying attention to the man behind the curtain of line-of-code metrics
    Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg
    Onward! 2020: [essay] [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]
  • Perfect is the Enemy of Good: Best-Effort Program Synthesis
    Hila Peleg, Nadia Polikarpova
    ECOOP 2020: [paper] [talk] [bib]
  • Programming by Predicates: A formal model for interactive synthesis
    Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav
    Acta Informatica: [paper] [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

Talks

Activities

  • PC Chair
    ISSTA Tool Demo Track 2022

  • Program Committee
    <Programming> 2022
    PX 2022
    SCAM 2021
    PLDI 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