E
Eran Yahav
Researcher at Technion – Israel Institute of Technology
Publications - 162
Citations - 8384
Eran Yahav is an academic researcher from Technion – Israel Institute of Technology. The author has contributed to research in topics: Concurrency & Heap (data structure). The author has an hindex of 45, co-authored 162 publications receiving 6660 citations. Previous affiliations of Eran Yahav include Tel Aviv University & IBM.
Papers
More filters
Journal ArticleDOI
code2vec: learning distributed representations of code
TL;DR: A neural model for representing snippets of code as continuous distributed vectors as a single fixed-length code vector which can be used to predict semantic properties of the snippet, making it the first to successfully predict method names based on a large, cross-project corpus.
Proceedings ArticleDOI
Code completion with statistical language models
TL;DR: The main idea is to reduce the problem of code completion to a natural-language processing problem of predicting probabilities of sentences, and design a simple and scalable static analysis that extracts sequences of method calls from a large codebase, and index these into a statistical language model.
Proceedings Article
code2seq: Generating Sequences from Structured Representations of Code
TL;DR: This model represents a code snippet as the set of compositional paths in its abstract syntax tree and uses attention to select the relevant paths while decoding and significantly outperforms previous models that were specifically designed for programming languages, as well as state-of-the-art NMT models.
Posted Content
On the Bottleneck of Graph Neural Networks and its Practical Implications
Uri Alon,Eran Yahav +1 more
TL;DR: It is shown that existing, extensively-tuned, GNN-based models suffer from over-squashing and that breaking the bottleneck improves state-of-the-art results without any hyperparameter tuning or additional weights.
Proceedings ArticleDOI
Effective typestate verification in the presence of aliasing
TL;DR: A novel framework for verification of typestate properties, including several new techniques to precisely treat aliases without undue performance costs, is presented, including a flowsensitive, context-sensitive, integrated verifier that utilizes a parametric abstract domain combining typestate and aliasing information.