H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 41 Citations 7,237 122 World Ranking 4401 National Ranking 84

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

His primary areas of investigation include Programming language, Java, Code, Correctness and Static analysis. His study in the fields of Concurrency and Programmer under the domain of Programming language overlaps with other disciplines such as Abstraction. Eran Yahav has researched Java in several fields, including Heap, Aliasing and Domain.

His research in Code intersects with topics in Theoretical computer science, Executable, Compiler, Similarity and Snippet. His work on Deterministic finite automaton is typically connected to Bounded function as part of general Theoretical computer science study, connecting several disciplines of science. In his research on the topic of Static analysis, Inference, Program specification, State and Abstraction model checking is strongly related with Abstract interpretation.

His most cited work include:

  • Code completion with statistical language models (356 citations)
  • code2vec: learning distributed representations of code (263 citations)
  • Verifying safety properties of concurrent Java programs using 3-valued logic (131 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of study are Programming language, Theoretical computer science, Java, Code and Static analysis. His research in Correctness, Heap, Abstract interpretation, Concurrency and Programmer are components of Programming language. His Concurrency study integrates concerns from other disciplines, such as Linearizability, Thread and Parallel computing.

His study in Theoretical computer science is interdisciplinary in nature, drawing from both Finite-state machine, Set and Language model. His studies in Java integrate themes in fields like Synchronization, Scalability, Aliasing and Alias analysis. The Code study combines topics in areas such as Abstract syntax tree, Artificial intelligence, Snippet and Source code.

He most often published in these fields:

  • Programming language (39.87%)
  • Theoretical computer science (24.68%)
  • Java (18.99%)

What were the highlights of his more recent work (between 2018-2021)?

  • Code (17.09%)
  • Programming language (39.87%)
  • Artificial intelligence (8.86%)

In recent papers he was focusing on the following fields of study:

Eran Yahav spends much of his time researching Code, Programming language, Artificial intelligence, Snippet and Abstract syntax tree. His Code research is multidisciplinary, relying on both Java, Scalability, Compiler and x86. His Programming language research focuses on Static analysis, Program synthesis, Source code, LOOP and Competitive programming.

His Static analysis research integrates issues from Executable, Optimizing compiler, Reverse engineering, Debugging and Assembly language. In the subject of general Artificial intelligence, his work in Adversarial system is often linked to Path and Minor, thereby combining diverse domains of study. His Snippet research is multidisciplinary, incorporating elements of Language model and Natural language processing.

Between 2018 and 2021, his most popular works were:

  • code2vec: learning distributed representations of code (263 citations)
  • On the Bottleneck of Graph Neural Networks and its Practical Implications (21 citations)
  • Structural Language Models of Code (16 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

Eran Yahav mostly deals with Code, Theoretical computer science, Snippet, Abstract syntax tree and Language model. His Code research incorporates elements of Java and Adversarial system, Artificial intelligence. His Theoretical computer science study incorporates themes from Formal language, Bottleneck and Conjecture.

His Snippet research is under the purview of Programming language. The study incorporates disciplines such as Set, Aggregate and Semantic property in addition to Abstract syntax tree. Eran Yahav combines subjects such as Counterexample, Conditional probability, Probabilistic logic and Finite-state machine, Algorithm with his study of Language model.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Code completion with statistical language models

Veselin Raychev;Martin Vechev;Eran Yahav.
programming language design and implementation (2014)

493 Citations

Effective typestate verification in the presence of aliasing

Stephen J. Fink;Eran Yahav;Nurit Dor;G. Ramalingam.
ACM Transactions on Software Engineering and Methodology (2008)

300 Citations

code2vec: learning distributed representations of code

Uri Alon;Meital Zilberstein;Omer Levy;Eran Yahav.
Proceedings of the ACM on Programming Languages (2019)

285 Citations

Static Specification Mining Using Automata-Based Abstractions

S. Shoham;E. Yahav;S.J. Fink;M. Pistoia.
IEEE Transactions on Software Engineering (2008)

245 Citations

Abstraction-guided synthesis of synchronization

Martin T. Vechev;Eran Yahav;Greta Yorsh.
symposium on principles of programming languages (2010)

168 Citations

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

Eran Yahav.
symposium on principles of programming languages (2001)

161 Citations

Automatic inference of memory fences

Michael Kuperstein;Martin Vechev;Eran Yahav.
formal methods in computer-aided design (2010)

142 Citations

QVM: an efficient runtime for detecting defects in deployed systems

Matthew Arnold;Martin Vechev;Eran Yahav.
conference on object-oriented programming systems, languages, and applications (2008)

142 Citations

Comparison under abstraction for verifying linearizability

Daphna Amit;Noam Rinetzky;Thomas Reps;Mooly Sagiv.
computer aided verification (2007)

135 Citations

Predicate abstraction and canonical abstraction for singly-linked lists

Roman Manevich;E. Yahav;G. Ramalingam;Mooly Sagiv.
verification, model checking and abstract interpretation (2005)

133 Citations

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

Contact us

Best Scientists Citing Eran Yahav

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 42

Ahmed Bouajjani

Ahmed Bouajjani

Université Paris Cité

Publications: 30

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 28

Yang Liu

Yang Liu

Nanyang Technological University

Publications: 27

Martin Rinard

Martin Rinard

MIT

Publications: 26

David Lo

David Lo

Singapore Management University

Publications: 26

Martin Vechev

Martin Vechev

ETH Zurich

Publications: 26

Hongseok Yang

Hongseok Yang

Korea Advanced Institute of Science and Technology

Publications: 25

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 25

Vivek Sarkar

Vivek Sarkar

Georgia Institute of Technology

Publications: 24

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 24

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 24

Tien N. Nguyen

Tien N. Nguyen

The University of Texas at Dallas

Publications: 23

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 23

Armando Solar-Lezama

Armando Solar-Lezama

MIT

Publications: 22

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 22

Something went wrong. Please try again later.