VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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 in New York (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 papers at various conferences.

Country:Israel
Affiliation:Technion
Research interests:Program analysis, verification, synthesis

Contributions

VMCAI D3 : Data-Driven Disjunctive Abstraction
POPL 2016 Estimating types in binaries using predictive modeling
Show activities from other conferences

POPL 2016-profile
View general profile