Eran Yahav

Cited by

	All	Since 2016
Citations	6753	3998
h-index	43	35
i10-index	96	71

960

480

240

720

200320042005200620072008200920102011201220132014201520162017201820192020202126 46 75 86 165 173 187 216 263 281 332 348 421 512 488 609 755 946 678

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Mooly SagivTel Aviv UniversityVerified email at acm.org
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Uri AlonTechnion - Israel Institute of TechnologyVerified email at cs.technion.ac.il
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Noam RinetzkyAssistant Professor of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Stephen FinkIBMVerified email at us.ibm.com
Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonVerified email at qmul.ac.uk
Omer LevyTel Aviv UniversityVerified email at cs.tau.ac.il
Meital Zilberstein Ben SinaiGraduate student at the Computer Science Department of the TechnionVerified email at cs.technion.ac.il
Yaniv DavidTechnionVerified email at cs.technion.ac.il
Yoav GoldbergProfessor, Bar Ilan UniversityVerified email at cs.biu.ac.il
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Gail WeissTechnion - Israel Institute of TechnologyVerified email at cs.technion.ac.il
Marco PistoiaJPMorgan Chase & Co.Verified email at jpmchase.com
Satish ChandraFacebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)Verified email at acm.org
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Raghavan RamanFacebookVerified email at fb.com
Michael KupersteinVerified email at google.com
Ohad ShachamYahoo! ResearchVerified email at yahoo-inc.com

Eran Yahav

Technion, Israel

Verified email at cs.technion.ac.il - Homepage

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Code completion with statistical language models V Raychev, M Vechev, E Yahav Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014	501	2014
code2vec: Learning distributed representations of code U Alon, M Zilberstein, O Levy, E Yahav Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	380	2019
Effective typestate verification in the presence of aliasing SJ Fink, E Yahav, N Dor, G Ramalingam, E Geay ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 9, 2008	303	2008
Static specification mining using automata-based abstractions S Shoham, E Yahav, SJ Fink, M Pistoia Software Engineering, IEEE Transactions on 34 (5), 651-666, 2008	250	2008
code2seq: Generating sequences from structured representations of code U Alon, S Brody, O Levy, E Yahav arXiv preprint arXiv:1808.01400, 2018	234	2018
Synthesis of spatially addressed molecular arrays C Barnes US Patent 7,384,737, 2008	186	2008
On the practical computational power of finite precision rnns for language recognition G Weiss, Y Goldberg, E Yahav arXiv preprint arXiv:1805.04908, 2018	168	2018
Abstraction-guided synthesis of synchronization M Vechev, E Yahav, G Yorsh ACM SIGPLAN Notices 45 (1), 327-338, 2010	156	2010
Verifying safety properties of concurrent Java programs using 3-valued logic E Yahav ACM SIGPLAN Notices 36 (3), 27-40, 2001	155	2001
QVM: An efficient runtime for detecting defects in deployed systems M Arnold, M Vechev, E Yahav ACM SIGPLAN Notices 43 (10), 143-162, 2008	142	2008
Automatic inference of memory fences M Kuperstein, M Vechev, E Yahav Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010	134	2010
Comparison under abstraction for verifying linearizability D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav Proceedings of the 19th international conference on Computer aided …, 2007	131	2007
Predicate abstraction and canonical abstraction for singly-linked lists R Manevich, E Yahav, G Ramalingam, M Sagiv Verification, Model Checking, and Abstract Interpretation, 181-198, 2005	129	2005
Tracelet-based code search in executables Y David, E Yahav Acm Sigplan Notices 49 (6), 349-360, 2014	128	2014
Chameleon: adaptive selection of collections O Shacham, M Vechev, E Yahav ACM SIGPLAN Notices 44 (6), 408-418, 2009	120	2009
A general path-based representation for predicting program properties U Alon, M Zilberstein, O Levy, E Yahav ACM SIGPLAN Notices 53 (4), 404-419, 2018	118	2018
Scalable and precise dynamic datarace detection for structured parallelism R Raman, J Zhao, V Sarkar, M Vechev, E Yahav Acm Sigplan Notices 47 (6), 531-542, 2012	112	2012
Deriving linearizable fine-grained concurrent objects M Vechev, E Yahav ACM SIGPLAN Notices 43 (6), 125-135, 2008	112	2008
Typestate-based semantic code search over partial programs A Mishne, S Shoham, E Yahav Proceedings of the ACM international conference on Object oriented …, 2012	108	2012
Extracting automata from recurrent neural networks using queries and counterexamples G Weiss, Y Goldberg, E Yahav International Conference on Machine Learning, 5247-5256, 2018	107	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors