Eran Yahav

Cited by

	All	Since 2016
Citations	6046	3314
h-index	43	34
i10-index	88	63

900

450

225

675

2002200320042005200620072008200920102011201220132014201520162017201820192020202116 29 48 74 86 163 171 185 217 259 282 334 338 415 513 484 615 764 900 35

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
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
Uri AlonTechnion - Israel Institute of TechnologyVerified email at cs.technion.ac.il
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Meital Zilberstein Ben SinaiGraduate student at the Computer Science Department of the TechnionVerified email at cs.technion.ac.il
Omer LevyTel Aviv UniversityVerified email at cs.tau.ac.il
Yaniv DavidTechnionVerified 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
Yoav GoldbergProfessor, Bar Ilan UniversityVerified email at cs.biu.ac.il
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Raghavan RamanUberVerified email at uber.com
Michael KupersteinVerified email at google.com
Gail WeissTechnion - Israel Institute of TechnologyVerified email at cs.technion.ac.il
Matthew ArnoldIBM T.J. Watson Research CenterVerified email at us.ibm.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	440	2014
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	293	2008
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	242	2019
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	235	2008
Synthesis of spatially addressed molecular arrays C Barnes US Patent 7,384,737, 2008	164	2008
Verifying safety properties of concurrent Java programs using 3-valued logic E Yahav ACM SIGPLAN Notices 36 (3), 27-40, 2001	156	2001
Abstraction-guided synthesis of synchronization M Vechev, E Yahav, G Yorsh ACM SIGPLAN Notices 45 (1), 327-338, 2010	152	2010
code2seq: Generating sequences from structured representations of code U Alon, S Brody, O Levy, E Yahav arXiv preprint arXiv:1808.01400, 2018	144	2018
QVM: An efficient runtime for detecting defects in deployed systems M Arnold, M Vechev, E Yahav ACM SIGPLAN Notices 43 (10), 143-162, 2008	139	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
On the practical computational power of finite precision RNNs for language recognition G Weiss, Y Goldberg, E Yahav arXiv preprint arXiv:1805.04908, 2018	131	2018
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	129	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	128	2005
Chameleon: adaptive selection of collections O Shacham, M Vechev, E Yahav ACM SIGPLAN Notices 44 (6), 408-418, 2009	119	2009
Tracelet-based code search in executables Y David, E Yahav Acm Sigplan Notices 49 (6), 349-360, 2014	112	2014
Deriving linearizable fine-grained concurrent objects M Vechev, E Yahav ACM SIGPLAN Notices 43 (6), 125-135, 2008	111	2008
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	106	2012
Typestate-based semantic code search over partial programs A Mishne, S Shoham, E Yahav Proceedings of the ACM international conference on Object oriented …, 2012	103	2012
Interprocedural shape analysis for cutpoint-free programs N Rinetzky, M Sagiv, E Yahav Static Analysis, 284-302, 2005	98	2005
Practical concurrent binary search trees via logical ordering D Drachsler, M Vechev, E Yahav Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014	96	2014

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

Upload PDF

Follow this author

Cited by

Co-authors