
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
Contributions
SPLASH 2014 | Abstract Semantic Differencing via Speculative Correlation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
View general profile