SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States
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 (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 paper awards at various conferences.

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 2011Author of Sprint: Speculative Prefetching of Remote Data within the OOPSLA-track
Author of Asynchronous Assertions within the OOPSLA-track
Author of Testing Atomicity of Composed Concurrent Operations within the OOPSLA-track
Author of Automatic Fine-Grain Locking using Shape Properties within the OOPSLA-track
Show activities from other conferences

SPLASH 2011-profile
View general profile