Profile

Cover photo
Eran Yahav
Works at Technion
Attended Technion
219 followers|28,778 views
AboutPostsPhotosVideos

Stream

Eran Yahav

Shared publicly  - 
 
 
Tom Ball, Ras Bodik, +Greg Morrisett, and I are organizing a new kind of programming languages conference. We already have several excellent conferences, but they are focused on incremental bits of novelty. We want to create a new kind of venue that complements these: to present and discuss big-picture questions and long-running programs; to view progress along the long arc of a research effort. The conference is May 3-6, 2015 in lovely Asilomar (on the Pacific Coast), CA, USA.

If this sounds interesting, please: don't just +1 it, reshare it. Why? To keep costs down and retain ownership of the conference with the community, we are independent, not affiliated with any organizations. That means you are the only PR channel we have. So please do us a favor. Thanks.
11 comments on original post
1
1
Philippe Suter's profile photo
Add a comment...
Have him in circles
219 people
arie yahav's profile photo
Martin Vechev's profile photo
Omri Weisman's profile photo
Qiming Teng's profile photo
Helmut Veith's profile photo
Uri Shani's profile photo
Erez Petrank's profile photo
Oren Zomer's profile photo
Roee Engelberg's profile photo

Eran Yahav

Shared publicly  - 
8
2
Shachar Weis's profile photoMark Silberstein's profile photoRadu Grigore's profile photoGal Glikman's profile photo
2 comments
 
Congrats! Very cool!
Add a comment...

Eran Yahav

Shared publicly  - 
 
SAS'11 early registration ends August 10th.
Student Travel Grants. New! Thanks to the generosity of our sponsors, we can now offer a limited number of student travel grants. Apply by sending email to yahave@cs.technion.ac.il. with the requested...
1
Add a comment...
People
Have him in circles
219 people
arie yahav's profile photo
Martin Vechev's profile photo
Omri Weisman's profile photo
Qiming Teng's profile photo
Helmut Veith's profile photo
Uri Shani's profile photo
Erez Petrank's profile photo
Oren Zomer's profile photo
Roee Engelberg's profile photo
Work
Occupation
Researcher
Employment
  • Technion
    Senior Lecturer, 2011 - present
  • IBM Research
    Researcher, 2004 - 2011
Basic Information
Gender
Male
Story
Introduction
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 (2004) and his 
B.Sc. (cum laude) 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.

Education
  • Technion
    computer science
  • Tel Aviv University
    computer science
Links
YouTube
Other profiles
Contributor to