PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor PROF. Eran Yahav
Advisor's Email yahave@cs.technion.ac.il
Advisor's Home-Site http://www.cs.technion.ac.il/people/yahave/
No of theses 19
Department Computer Science
Department Web Site www.cs.technion.ac.il
Student's Name Graduation Year Degree Abstracts Research Name
Weiss Gail 2023 PhD Abstracts Neural Sequence Models: A Formal Lens
Alon Uri 2021 PhD Abstracts Machine Learning for Programming Language Processing
David Moshe Yaniv 2020 PhD Abstracts Similarity in Binary Executables
Katz Omer 2019 PhD Abstracts Statistical Approaches to Reverse Engineering
Peleg Hila 2019 PhD Abstracts Program Synthesis for Programmers
Omari Adi 2018 PhD Abstracts Scalable Data Extraction via Program Synthesis
Sebban Partush Nimrod 2017 PhD Abstracts Differential Program Analysis
Drachsler Cohen Dana 2017 PhD Abstracts Exact Programming by Examples
Meshman Yuri 2017 PhD Abstracts Extrapolation and Synthesis for Relaxed Memory Models
Nachmias Elad 2022 MSc Abstracts Hierarchical Code Representations
Yefet Noam 2021 MSc Abstracts Adversarial Examples for Models of Code and Defending Against Them
Abramovich Evgeny 2016 MSc Abstracts Static Mining of Common Concurrency Patterns
Yadid Shir 2016 MSc Abstracts Extracting Code from Programming Tutorial Videos
Berkman Anat 2016 MSc Abstracts Scenario based programming for Mobile Applications
Zilberstein Meital 2015 MSc Abstracts Code Similarity via Natural Language Descriptions
Yudin Eric 2015 MSc Abstracts Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
Even Karine 2013 MSc Abstracts Finding Rate Numerical Stability Errors in Concurrent Computations
Mishne Alon 2013 MSc Abstracts Programming with Millions of Examples – Scalable Static Specification Mining
Kuperstein Michael 2012 MSc Abstracts Preserving Correctness Under Relaxed Memory Models