SPLASH 2012 (series) / Eran Yahav
![Eran Yahav](https://2012.splashcon.org/getProfileImage/eranyahav/2d1e46e9-d179-420d-b617-a016a7510d3f/small.jpg?1711485108000)
Registered user since Wed 9 Jul 2014
Name:Eran Yahav
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
SPLASH 2012-profile
View general profile
View general profile