World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
54
Citations
9784
World Ranking
4639
National Ranking
74

Overview

Eran Yahav is affiliated with the Technion - Israel Institute of Technology in Israel. Their research primarily falls within the field of Computer Science, with a significant focus on Artificial Intelligence, Information Systems, Electrical and Electronic Engineering, Signal Processing, and Software.

The scientist's work spans several specialized topics, including:

  • Software Engineering Research
  • Advanced Graph Neural Networks
  • Topic Modeling
  • Ferroelectric and Negative Capacitance Devices
  • Advanced Malware Detection Techniques
  • Reinforcement Learning in Robotics
  • Natural Language Processing Techniques

Yahav has published extensively, with a total of 33 publications in the main area of Computer Science. Their frequent publication venues include:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • Zenodo (CERN European Organization for Nuclear Research)
  • Machine Learning

Some notable recent papers authored or co-authored by Yahav are:

  • Using Machine Learning for Vulnerability Detection and Classification, 2021, arXiv (Cornell University)
  • On the Bottleneck of Graph Neural Networks and its Practical Implications, 2020, arXiv (Cornell University)
  • Neural reverse engineering of stripped binaries using augmented control flow graphs, 2020, Proceedings of the ACM on Programming Languages
  • How Attentive are Graph Attention Networks?, 2021, arXiv (Cornell University)

Their frequent co-authors include researchers such as Uri Alon, Shaked Brody, Yaniv David, and Gail Garfinkel Weiss, with multiple collaborations noted, especially with Uri Alon and Shaked Brody.

Best Publications

  • code2vec: learning distributed representations of code

    Uri Alon;Meital Zilberstein;Omer Levy;Eran Yahav

  • Code completion with statistical language models

    Veselin Raychev;Martin Vechev;Eran Yahav

  • code2seq: Generating Sequences from Structured Representations of Code

    Uri Alon;Shaked Brody;Omer Levy;Eran Yahav

  • Effective typestate verification in the presence of aliasing

    Stephen J. Fink;Eran Yahav;Nurit Dor;G. Ramalingam

  • Static Specification Mining Using Automata-Based Abstractions

    S. Shoham;E. Yahav;S.J. Fink;M. Pistoia

  • On the Practical Computational Power of Finite Precision RNNs for Language Recognition

    Gail Weiss;Yoav Goldberg;Eran Yahav

  • Programming by Example

    Unknown

  • Abstraction-guided synthesis of synchronization

    Martin Vechev;Eran Yahav;Greta Yorsh

  • Static specification mining using automata-based abstractions

    Sharon Shoham;Eran Yahav;Stephen Fink;Marco Pistoia

  • Tracelet-based code search in executables

    Yaniv David;Eran Yahav

  • Effective typestate verification in the presence of aliasing

    Stephen Fink;Eran Yahav;Nurit Dor;G. Ramalingam

  • A general path-based representation for predicting program properties

    Uri Alon;Meital Zilberstein;Omer Levy;Eran Yahav

  • Verifying safety properties of concurrent Java programs using 3-valued logic

    Eran Yahav

  • QVM: an efficient runtime for detecting defects in deployed systems

    Matthew Arnold;Martin Vechev;Eran Yahav

  • Automatic inference of memory fences

    Michael Kuperstein;Martin Vechev;Eran Yahav

  • Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

    Gail Weiss;Yoav Goldberg;Eran Yahav

  • Statistical similarity of binaries

    Yaniv David;Nimrod Partush;Eran Yahav

  • Automatic inference of memory fences

    Michael Kuperstein;Martin Vechev;Eran Yahav

  • Comparison under abstraction for verifying linearizability

    Daphna Amit;Noam Rinetzky;Thomas Reps;Mooly Sagiv

  • Predicate abstraction and canonical abstraction for singly-linked lists

    Roman Manevich;E. Yahav;G. Ramalingam;Mooly Sagiv

  • Chameleon: adaptive selection of collections

    Ohad Shacham;Martin Vechev;Eran Yahav

Frequent Co-Authors

Martin Vechev
Martin Vechev ETH Zurich
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Uri Alon
Uri Alon Weizmann Institute of Science
Omer Levy
Omer Levy Deep Mind
Yoav Goldberg
Yoav Goldberg Bar-Ilan University
Stephen J. Fink
Stephen J. Fink Facebook (United States)
Thomas Reps
Thomas Reps University of Wisconsin–Madison
Reinhard Wilhelm
Reinhard Wilhelm Saarland University
Satish Chandra
Satish Chandra Association for Computing Machinery
Marco Pistoia
Marco Pistoia JPMorgan Chase & Co (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA opens doors to a wide range of online programs and career paths in related STEM fields. Students interested in engineering may want to explore an environmental engineering bachelor's degree online for sustainable technology roles, or opt for the cheapest mechanical engineering degree online to focus on robotics and automation.

For those intrigued by the theoretical foundations of computing, a physics degree online is a valuable path, offering deep insights into computational modeling and scientific research.

Meanwhile, the rise of big data and artificial intelligence has made data science a highly sought-after field. Earning a data scientist degree online can help launch or advance your career in data analytics or machine learning, with flexible and affordable study options.

These online degree pathways are excellent options for students seeking flexibility, affordability, and career growth in technology and engineering sectors.

Best Scientists Citing Eran Yahav

Trending Scientists

Recently Published Articles