Eran Yahav

Associate Professor

Computer Science Department Technion, Israel Institute of Technology

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

Research Interests
Program synthesis, machine learning and information-retrieval techniques for PL
Program analysis, abstract interpretation, verification
Programming Languages, software engineering

Papers145 papers

Sort

By YearBy Citation

Structural Language Models of Code

Uri Alon, Roy Sadaka,Omer Levy,Eran Yahav

ICML, pp.245-256, (2020)

Cited by2EIBibtex

A Formal Hierarchy of RNN Architectures

Merrill William,Weiss Gail,Goldberg Yoav,Schwartz Roy,Smith Noah A.,Yahav Eran

ACL, pp.443-459, (2020)

Cited by6EIBibtex

Neural Edit Completion

Brody Shaked, Alon Uri,Yahav Eran

Bibtex

On the Bottleneck of Graph Neural Networks and its Practical Implications

Alon Uri,Yahav Eran

Bibtex

Programming with a read-eval-synth loop

Hila Peleg, Roi Gabay,Shachar Itzhaky,Eran Yahav

Proceedings of the ACM on Programming Languages, no. OOPSLA (2020): 1-30

EIBibtex

code2seq: Generating Sequences from Structured Representations of Code

Alon Uri, Brody Shaked,Levy Omer,Yahav Eran

ICLR, (2019)

EIBibtex

Programming by predicates: a formal model for interactive synthesis

Hila Peleg,Shachar Itzhaky,Sharon Shoham,Eran Yahav

Acta Informatica, no. 1 (2019): 165-193

EIBibtex

Neural Reverse Engineering of Stripped Binaries

Yaniv David,Uri Alon,Eran Yahav

arXiv: Learning, (2019)

EIBibtex

Towards Neural Decompilation

Omer Katz, Yuval Olshaker,Yoav Goldberg,Eran Yahav

CoRR, (2019)

Cited by7EIBibtex

Structural Language Models for Any-Code Generation

Alon Uri, Sadaka Roy,Levy Omer,Yahav Eran

Bibtex

Adversarial Examples for Models of Code

Yefet Noam, Alon Uri,Yahav Eran

Proceedings of the ACM on Programming Languages, no. OOPSLA (2019): 1-30

EIBibtex

From typestate verification to interpretable deep models (invited talk abstract)

Eran Yahav,Stephen J. Fink,Nurit Dor,G. Ramalingam,Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.4-5, (2019)

EIBibtex

Learning Deterministic Weighted Automata with Queries and Counterexamples

Gail Weiss,Yoav Goldberg,Eran Yahav

ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), (2019): 8558-8569

Cited by4EIBibtex

code2vec: Learning Distributed Representations of Code

Uri Alon, Meital Zilberstein,Omer Levy,Eran Yahav

symposium on principles of programming languages, (2019)

Cited by5EIBibtex

Programming Not Only by Example

Hila Peleg,Sharon Shoham,Eran Yahav

ICSE, (2018): 1114-1124

Cited by9EIBibtex

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

Gail Weiss,Yoav Goldberg,Eran Yahav

international conference on machine learning, (2018)

Cited by80EIBibtex

Practical concurrent traversals in search trees

Dana Drachsler-Cohen,Martin Vechev,Eran Yahav

PPoPP '18: 23nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Vie..., pp.207-218, (2018)

Cited by2EIBibtex

From Programs to Interpretable Deep Models and Back

Eran Yahav

CAV, pp.27-37, (2018)

Cited by2EIBibtex

Practical concurrent traversals in search trees

Dana Drachsler-Cohen,Martin T. Vechev,Eran Yahav

PPOPP, no. 1 (2018): 207-218

Cited by2EIBibtex

Generating Tests by Example

Hila Peleg,Dan Rasin,Eran Yahav

VMCAI, pp.406-429, (2018)

EIBibtex

View All

Base Info Papers Patents Projects

Eran YahavBinding

Papers145 papers

Eran Yahav