Hila Peleg

I an Assistant Professor in the Computer Science Department at the Technion in Israel. This is my old website and is no longer maintained, my new one is here.

Until summer of 2021 I was a posdoctoral scholar working with Nadia Polikarpova at UC San Diego, and before that I completed my PhD 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.

Contact

Computer Science Department
Technion, Haifa, Israel
Office: Taub 712

Email: hilap [at] cs.technion.ac.il

Website: https://cs.technion.ac.il/~hilap

Twitter: @HilaCodes

Google Scholar

Publications

  • 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]

Talks

Service

Program Committee

External Review Committee

Organizing Committee

Student Research Competition Committes