Eran Yahav

Cited by

	All	Since 2016
Citations	6343	3605
h-index	43	34
i10-index	91	66

940

470

235

705

2002200320042005200620072008200920102011201220132014201520162017201820192020202116 29 48 74 86 164 172 185 217 260 283 334 339 416 513 486 613 760 932 298

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
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
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
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Marco PistoiaJPMorgan Chase & Co.Verified email at jpmchase.com
Yoav GoldbergProfessor, Bar Ilan UniversityVerified email at cs.biu.ac.il
Satish ChandraFacebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)Verified email at acm.org
Gail WeissTechnion - Israel Institute of TechnologyVerified email at cs.technion.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
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	479	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	298	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	294	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	239	2008
code2seq: Generating sequences from structured representations of code U Alon, S Brody, O Levy, E Yahav arXiv preprint arXiv:1808.01400, 2018	182	2018
Synthesis of spatially addressed molecular arrays C Barnes US Patent 7,384,737, 2008	173	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	153	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	148	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	135	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	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	121	2009
Tracelet-based code search in executables Y David, E Yahav Acm Sigplan Notices 49 (6), 349-360, 2014	120	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	109	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	104	2012
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	99	2018
Interprocedural shape analysis for cutpoint-free programs N Rinetzky, M Sagiv, E Yahav Static Analysis, 284-302, 2005	99	2005

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