Eran Yahav

Eran Yahav is a Professor in the Computer Science Department at the Technion, Israel Institute of Technology, and serves as CTO at Tabnine. His research bridges programming languages, software engineering, program analysis, and machine learning, focusing on program synthesis, verification, and code intelligence.

Research Interests: His work spans program synthesis, abstract interpretation, verification of concurrent systems, binary analysis, and AI for code. He leads the PRIME project, which uses machine learning and static analysis to enable programming with millions of examples, improving code completion, search, and prediction.

The recent publications reflect a strong trend toward integrating neural models with program analysis—using structured representations of code (e.g., AST paths) for property prediction, generating sequences from code (code2seq), learning distributed representations (code2vec), and interpreting neural networks via automata extraction. His work consistently appears in top-tier venues such as POPL, PLDI, ICSE, OOPSLA, and ICLR.

Scientific Awards:

• Best paper award at ISSTA'07
• Best paper award at ISSTA'06

Advising and Grants: He has advised numerous PhD and Master’s students, many of whom have published in premier conferences and now hold academic or industry positions. While specific grants are not mentioned, his sustained high-impact research and leadership in major projects (e.g., PRIME, Fender, SAFE) imply significant funding support. He has served on program committees for PLDI, POPL, CAV, OOPSLA, and VMCAI, reflecting his standing in the programming languages and verification communities.

Labs and Teams: He leads a research group focused on program analysis and synthesis, with strong collaborations, particularly with Martin Vechev and others, on concurrency, synthesis, and machine learning for code. The group has developed influential tools such as PRIME, code2seq, code2vec, TRACY, and SAFE.