Registered user since Wed 9 Jul 2014

Name: Eran Yahav

Bio: Eran Yahav is a faculty member of the Computer Science department at the Technion, Israel. Prior to his position at Technion, he was a Research Staff Member at the IBM T.J. Watson Research Center in Hawthorne, New York (2004-2010). He received his Ph.D. from Tel Aviv University (2005) and his B.Sc. from the Technion-Israel Institute of Technology (1996). His research interests include static and dynamic program analysis, program synthesis, and program verification. Eran is a recipient of the prestigious Alon Fellowship for Outstanding Young Researchers, and the Andre Deloro Career Advancement Chair in Engineering..)

Country: Israel

Affiliation: Technion

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

Research interests: Program analysis, verification, synthesis

SPLASH 2014 Activities

• Author of Abstract Semantic Differencing via Speculative Correlation within the OOPSLA-track in SPLASH 2014
• Show activities from other conferences