SPLASH 2012 (series) / Eran Yahav

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 | Committee Member in External Reviewers within the OOPSLA Research Papers-track Typestate-based semantic code search over partial programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2012-profile
View general profile
View general profile