PhD and MSc Theses
PhD and MSc Theses, since 1988
| 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 |
| Peleg Hila |
2019 |
PhD |
Abstracts |
Program Synthesis for Programmers |
| Katz Omer |
2019 |
PhD |
Abstracts |
Statistical Approaches to Reverse Engineering |
| Omari Adi |
2018 |
PhD |
Abstracts |
Scalable Data Extraction via Program Synthesis |
| Drachsler Cohen Dana |
2017 |
PhD |
Abstracts |
Exact Programming by Examples |
| Meshman Yuri |
2017 |
PhD |
Abstracts |
Extrapolation and Synthesis for Relaxed Memory Models |
| Sebban Partush Nimrod |
2017 |
PhD |
Abstracts |
Differential Program Analysis |
| 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 |
| Mishne Alon |
2013 |
MSc |
Abstracts |
Programming with Millions of Examples – Scalable Static Specification Mining |
| Even Karine |
2013 |
MSc |
Abstracts |
Finding Rate Numerical Stability Errors in Concurrent Computations |
| Kuperstein Michael |
2012 |
MSc |
Abstracts |
Preserving Correctness Under Relaxed Memory Models |
