פרס דייקסטרה
מראה
תיאור | למאמר בתחום החישוב המבוזר |
---|---|
מדינה |
בין־לאומי ![]() |
הגוף המעניק |
ACM, האיגוד האירופי לתאוריה של מדעי המחשב ![]() |
תקופת הפרס |
2000–הווה (כ־24 שנים) ![]() |
נקרא על שם |
אדסחר דייקסטרה ![]() |
אתר רשמי | |
![]() ![]() |
פרס אדסחר ו. דייקסטרה בחישוב מבוזר (Dijkstra Prize) הוא פרס המוענק מדי שנה, החל משנת 2000, עבור מאמרים שהייתה להם השפעה ניכרת בתחום החישוב המבוזר.
מלכתחילה הוענק הפרס בוועידה האקדמית השנתית בתחום החישוב המבוזר (PODC) של ACM (האגודה הבינלאומית של מדעני מחשב) ונקרא PODC Influential-Paper Award.
בשנת 2003 שונה שם הפרס לשמו הנוכחי והוא נקרא על שמו של אדסחר דייקסטרה שזכה בפרס ב-2002 על מאמר בנושא ייצוב עצמי, והלך לעולמו זמן קצר לאחר מכן.
משנת 2007 ממומן הפרס על ידי PODC וההתאחדות האירופית לתאוריה של מדעי המחשב (EATCS).
בשנים האחרונות, חלוקת הפרס מתבצעת לחלופין בכינוס DISC של EATCS בשנים אי-זוגיות וב-PODC בשנים זוגיות.
גובה הפרס הוא 2,000 דולר אמריקאי.
הזוכים בפרס
[עריכת קוד מקור | עריכה]שנה | שמות הזוכים | הסיבה לזכייה/נושא המאמר הזוכה |
---|---|---|
2000 | לסלי למפורט | אלגוריתם שעון לוגי של למפורט |
2001 | מייקל פישר, ננסי לינץ', מייקל סטיוארט פטרסון | הוכחת אי ההסתברות של בעיית הקונצנזוס בחישוב מבוזר |
2002 | אדסחר דייקסטרה | מאמר בנושא ייצוב עצמי |
2003 | מוריס הרליהי | מאמר בנושא פתירות ואוניברסליות של מערכות עם זיכרון משותף |
2004 | רוברט גאלגר, פייר אומבלה, פיליפ ספירה | אלגוריתם מבוזר למציאת עץ פורש מינימלי |
2005 | מארשל פיז, לסלי למפורט, רוברט שוסטק | מאמר בנושא הסכמה ביזנטית |
2006 | מייקל ל. סקוט, ג'ון מלור-קראמי | מאמר בנושר אלגוריתם למניעה הדדית |
2007 | סינת'יה דבורק, לארי סטוקמאייר, ננסי לינץ' | פתרון בעיה בנושא מערכות מסונכרנות חלקית |
2008 | ברוך אוורבוך, דוד פלג | מאמר בנושא חלוקה דלילה |
2009 | ג'וזף הלפרן, יורם מוזס | מסגרת מחשבתית על הידע בחישוב מבוזר |
2010 | טושר דיפק צ'נדרה, סם טואג, ואסוס האדזיליאקוס | אפליקציית מגלה שגיאה בחישוב מבוזר |
2011 | חגית עטיה, אמוץ בר-נוי, דני דולב | מאמר בנושא זיכרון משותף |
2012 | מוריס הרליהי, ג' אליוט ב. מוס, ניר שביט, דן טוויטו | זיכרון טרנזאקציונלי |
2013 | נתי ליניאל | לוקליות באלגוריתמים מבוזרים על גרפים |
2014 | ק. מאני צ'אנדי, לסלי למפורט | אלגוריתם תמונת המצב לתיאור קונסיסטנטי של המצב הגלובלי במערכת מבוזרת |
2015 | מיכאל בן-אור, מיכאל רבין | אלגוריתמים מבוזרים אקראיים עמידים בפני תקלות |
2016 | נוגה אלון, לסלו בבאי, אלון איתי, מייקל לובי | אלגוריתמים מקבילים לבעיית קבוצה בלתי תלויה מקסימלית |
2017 | אליזבת בורובסקי, אלי גפני | אלגוריתם שמאפשר למספר מעבדים לבצע סימולציה של מספר גדול יותר של מעבדים באופן מתואם |
2018 | בואן אלפרן, פרד שניידר | הגדרת עקרון ״חיוּת״ בחישוב מבוזר |
2019 | אלסנדרו פנקונסי, ארבינד סריניבסן | אלגוריתמים אקראיים לבעיית הצביעה |
2020 | דנה אנגלואין, ג׳יימס אספנס, זואי דיאמדי, מיכאל פישר, רנה פרלטה | חישוב במערכות של סוכנים ניידים |
2021 | פריס קנלקיס, סקוט סמולקה | סמנטיקה, ספסיפיקציה ווריפיקציה של תהליכים מקביליים |
2022 | מג׳ד מיכאל, ומוריס הרליהי, ויקטור לוצ׳נקו, מארק מוייר | מבני נתונים דינאמיים חסרי נעילות |
2023 | מיכאל בן-אור, שפי גולדווסר, אבי ויגדרזון, דויד צ׳אום, קלאוד קרפו, איוון דמגרד, טל רבין | פיתוח חישוב בטוח עם בטיחות מבוססת תורת האינפורמציה |
קישורים חיצוניים
[עריכת קוד מקור | עריכה]אתר האינטרנט הרשמי של פרס דייקסטרה
- Edsger W. Dijkstra Prize in Distributed Computing באתר PODC