Hila Peleg

I am a postdoctoral researcher in the Computer Science and Engineering department at the University of California, San Diego, working with Nadia Polikarpova.

I completed my PhD in 2019 at the Technion, under the supervision of Eran Yahav.

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.


Department of Computer Science and Engineering
University of California, San Diego
Office: CSE 3132

Email: hpeleg [at] eng.ucsd.edu

Twitter: @HilaCodes

Google Scholar


  • Cyclic Program Synthesis
    Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
    PLDI 2021: [paper] [bibtex]
  • 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] [bibtex]
  • Just-in-Time Learning for Bottom-Up Enumerative Synthesis
    Shraddha Barke, Hila Peleg, Nadia Polikarpova
    OOPSLA 2020: [paper] [talk] [bibtex]
  • Programming with a Read-Eval-Synth Loop
    Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav
    OOPSLA 2020: [paper] [talk] [artifact] [bibtex]
    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] [bibtex]
  • Small-Step Live Programming by Example
    Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova
    UIST 2020: [paper] [short preview] [long preview] [talk] [bibtex]
  • Perfect is the Enemy of Good: Best-Effort Program Synthesis
    Hila Peleg, Nadia Polikarpova
    ECOOP 2020: [paper] [talk] [bibtex]
  • Programming by Predicates: A formal model for interactive synthesis
    Acta Informatica: [paper] [bibtex]
  • Programming Not Only by Example
    Hila Peleg, Sharon Shoham, Eran Yahav
    ICSE 2018: [paper] [presentation] [bibtex]
    Arxiv: [paper]
  • Abstraction-Based Interaction Model for Synthesis
    Hila Peleg, Shachar Itzhaky, Sharon Shoham
    VMCAI2018: [paper] [presentation] [bibtex]
  • Generating Tests by Example
    Hila Peleg, Dan Rasin, Eran Yahav
    VMCAI2018: [paper (extended)] [presentation] [bibtex]
  • Learn&Fuzz: Machine Learning for Input Fuzzing
    Patrice Godefroid, Hila Peleg, Rishabh Singh
    ASE 2017
    Arxiv: [technical report]
  • D3: Data-Driven Disjunctive Abstraction
    Hila Peleg, Sharon Shoham, Eran Yahav
    VMCAI2016: [paper] [presentation] [bibtex]
  • Symbolic Automata for Static Specification Mining
    Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
    SAS2013: [paper] [presentation] [talk] [bibtex]
    Acta Informatica: [
    paper] [bibtex]
  • 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]



Program Committee

External Review Committee

Organizing Committee

Student Research Competition Committes