Eran Yahav

Registered user since Wed 9 Jul 2014

Name: Eran Yahav

Bio: Eran Yahav is an associate professor at the Computer Science Department, Technion, Israel. Prior to that, he was a research staff member at the IBM T.J. Watson Research Center (2004-2010). He received his Ph.D. from Tel Aviv University (2005) and his B.Sc. from the Technion in 1996. His research interests include program analysis, program synthesis and program verification. Eran is a recipient of the prestigious Alon Fellowship for Outstanding Young Researchers, the Andre Deloro Career Advancement Chair in Engineering, the ERC Consolidator Grant as well as multiple best paper awards at various conferences.

Country: Israel

Affiliation: Technion

Personal website: http://www.cs.technion.ac.il/~yahave/

Research interests: Program Analysis, Program Synthesis, Machine Learning for Programming, Verification

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
ISSTA 2019Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track
ETAPS 2019Author of code2seq: Generating Sequences from Structured Representations of Code within the Mooly Fest-track
Chair in Organizing Committee within the Mooly Fest-track
PLDI 2019Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2019Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track
MAPL 2018Committee Member in Program Committee within the MAPL 2018-track
VMCAI 2018Author of Generating Tests by Example within the VMCAI 2018-track
ESEC/FSE 2018Committee Member in Program Committee within the New Ideas and Emerging Results-track
PLDI 2018Author of A General Path-Based Representation for Predicting Program Properties within the PLDI Research Papers-track
N40AI 2017Presenter of Program synthesis within the Next 40 years of Abstract Interpretation-track
POPL 2017ERC member in External Review Committee within the POPL-track
SPLASH 2017Committee Member in External Program Committee within the OOPSLA-track
PLDI 2017Committee Member in Program Committee
Author of Similarity of Binaries through re-Optimization within the PLDI Research Papers-track
Onward! 2016Author of Extracting Code from Programming Tutorial Videos within the Onward! Papers-track
Author of Leveraging a Corpus of Natural Language Descriptions for Program Similarity within the Onward! Papers-track
* ICSE 2018 *Author of Programming Not Only by Example within the Technical Papers -track
VMCAIAuthor of D3 : Data-Driven Disjunctive Abstraction within the VMCAI-track
PLDI 2016Author of Statistical Similarity of Binaries within the Research Papers-track
Session Chair of Synthesis I (part of Research Papers)
Committee Member in Program Committee
POPL 2016Author of Estimating types in binaries using predictive modeling within the Research Papers-track
ML4PL 2015Committee Member in Program committee within the ML4PL-track
Author of Problems and opportunities — Program similarity within the ML4PL-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015Presenter of Programming with Millions of Examples within the Summer School-track
SPLASH 2014Author of Abstract Semantic Differencing via Speculative Correlation within the OOPSLA-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track
Author of Typestate-based semantic code search over partial programs within the OOPSLA Research Papers-track