Eran Yahav

ערן יהב (נולד ב-1 באוקטובר 1973) הוא מדען מחשב ישראלי המתמחה בהנדסת תוכנה. יהב הוא פרופסור חבר בפקולטה למדעי המחשב בטכניון, ויועץ בכיר בחברת הסטארטאפ הישראלית Codota.

יהב נולד ב-1973. בשנת 1996 סיים את לימודי התואר הראשון בפקולטה למדעי המחשב בטכניון. עם סיום התואר התגייס כמהנדס תוכנה לצה"ל, שם שירת עד שנת 2001. בשנה זו גם התחיל את לימודי הדוקטורט שלו במדעי המחשב באוניברסיטת תל אביב, אותם סיים בשנת 2004.

בין השנים 2004–2011 עבד במעבדות המחקר של IBM.

בשנת 2011 הצטרף כמרצה בכיר לסגל ההוראה של הפקולטה למדעי המחשב בטכניון, ומשנת 2013 מכהן כפרופסור חבר בסגל הפקולטה.

תואר ראשון (Bsc) במדעי המחשב מהטכניון.

תואר שלישי (PhD) במדעי המחשב מאוניברסיטת תל אביב עליו זכה בשני פרסים:

• Maus Excellence Award
• Levy Eshkol Doctoral Excellence Scholarship

תחומי המחקר בהם יהב עוסק הם: ניתוח תוכניות, אינטרפרטציה אבסטרקטית, אימות תוכנה, סינתזה של תוכנה, מערכות מקביליות ומבוזרות, שפות תכנות והנדסת תוכנה.

במהלך השנים הוא השתתף בכתיבה של מעל 100 מאמרים, שצוטטו למעלה מ-1900 פעמים במאמרים שונים. מדד h-index שלו הוא 25, ומדד ה-i10-index שלו הוא 42.

תכנות באמצעות מיליוני דוגמאות

כחלק ממחקריו בתחום התוכנה, עוסק יהב בשימוש בדוגמאות קיימות של קוד בתהליך של כתיבת תוכנה. השימוש בדוגמאות קיימות מיועד להכוונת המתכנת בכתיבת הקוד ולהקלה עליו בהתמודדות עם ממשקים (APIs) מורכבים, על ידי כך שבתהליך כתיבת הקוד המתכנת ישלים את התוכנית אותה הוא כותב בעזרת חיפוש במאגרי קוד קיימים.

על מנת לאפשר את החיפוש, מתבצעת הצגה סמנטית של קוד (למשל באמצעות אוטומטים) עבור הקוד אותו המתכנת רוצה להשלים, וכן עבור הקוד הקיים במאגר הנתונים בו מתבצע החיפוש. במהלך החיפוש במאגר מתבצעת התאמת הקשר (context matching) בין הקוד החלקי שהוכנס כשאילתה לחיפוש לבין דוגמאות הקוד הקיימות במאגר, ובסופו מוחזרות למתכנת התוצאות המתאימות ביותר. תוצאות החיפוש הן דוגמאות של קוד המהוות השלמות אפשריות לשאילתה.

פרויקט "SAFE"

במסגרת עבודתו בחברת IBM פיתח יהב את הפרויקט "SAFE", תוכנה לבדיקת נכונות של תוכניות שנכתבו ב-Java. בהינתן תוכנית, "SAFE" בודקת אם היא עומדת במפרט דרישות מסוים באמצעות אנליזה סטטית של קוד המקור שלה וללא צורך בהרצתה. במהלך האנליזה מתבצעת בדיקה דקדקנית של מצב האובייקטים שבה, אפילו כאשר בתוכנית נעשה שימוש ב-aliasing . המטרה בביצוע הבדיקה של מצב האובייקטים בתוכנית נתונה היא לזהות באופן סטטי (ללא הרצה של התוכנית) אם הרצתה עשויה לגרום לביצוע פעולה אסורה על אובייקט כתלות במצבו. SAFE מאפשר רמות שונות של דיוק בבדיקת הנכונות. רמות אלו תלויות בעיקר באופן בו נעשית ההתמודדות עם aliasing.

1. Allon Fellowship for Outstanding Young Researchers- מהמועצה הישראלית להשכלה גבוהה, אוקטובר 2010
2. Andre Deloro Career Advancement Chair in Engineering- מהטכניון, אוקטובר 2009
3. Maus Excellence Award- מאוניברסיטת תל אביב, אפריל 2004
4. Levy Eshkol Doctoral Excellence Scholarship- ממשרד המדע, אוקטובר 2002
5. IBM Pat Goldberg Memorial Best Paper Award- ממעבדות המחקר של IBM, אוקטובר 2007
6. ACM SIGSOFT Distinguished Paper Award- מ-ACM SIGSOFT, דצמבר 2006.
7. ACM SIGSOFT Distinguished Paper Award- מ-ACM SIGSOFT, דצמבר 2007.

• ערן יהב, ברשת החברתית LinkedIn
• ערן יהב, באתר dblp
• דף הבית של פרופסור ערן יהב, באתר הפקולטה למדעי המחשב
• מאמרים של פרופסור ערן יהב, ב-scholar.google.
• העמוד של פרופסור ערן יהב, באתר Researchgate.
• Programming with Millions of Examples - תכנות באמצעות מיליוני דוגמאות- הרצאה מצולמת של פרופסור ערן יהב באתר Youtube.
• פרויקט "SAFE", בעמוד הבית של פרופסור ערן יהב באתר הפקולטה למדעי המחשב.
• פרויקט מתקפת סייבר על מערכת “Waze” שביצעו סטודנטיות מהטכניון בשנת 2014 בהנחייתו של ערן יהב.