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.
