Eran Yahav

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav · 2014 · 542 citations

Engineering, Software Engineering, Source Code Analysis +21

Using Machine Learning for Vulnerability Detection and Classification

Uri Alon, Shaked Brody, Omer Levy et al. · arXiv (Cornell University) · 2018 · 452 citations · Full text

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav · ACM SIGPLAN Notices · 2014 · 187 citations

Engineering, Software Engineering, Statistical Language Model +20

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, Nurit Dor et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 161 citations

Program Checking, Engineering, Type Theory +21

Abstraction-guided synthesis of synchronization

Martin Vechev, Eran Yahav, Greta Yorsh · 2010 · 142 citations

Engineering, Verification, Computer Architecture +18