# جائزة ديكسترا

جائزة ديكسترا Edsger W. Dijkstra Paper Prize هي جائرز تمنح في الحوسبة الموزعة للأوراق البارزة حول مبادئ الحوسبة الموزعة ، والتي كانت أهميتها وتأثيرها على نظرية و / أو ممارسة الحوسبة الموزعة واضحة لمدة عقد على الأقل. يتم تقديم الجائزة الورقية سنويًا منذ عام 2000.
في الأصل، تم تقديم الجائزة الورقية في ندوة ACM حول مبادئ الحوسبة الموزعة (PODC) ، وكانت تُعرف باسم جائزة PODC Influential-Paper Award . تمت إعادة تسميته تكريماً لـ أيدسكر دايكسترا في عام 2003 ، بعد أن حصل على الجائزة لعمله في الاستقرار الذاتي في عام 2002 وتوفي بعد ذلك بوقت قصير.
منذ عام 2007 ، يتم رعاية الجائزة الورقية بشكل مشترك من قبل PODC و ندوة EATCS الدولية حول الحوسبة الموزعة (DISC) ، ويتم التقديم بالتناوب في PODC (السنوات الزوجية) و DISC (السنوات الفردية). تتضمن الجائزة الورقية جائزة قدرها 2000 دولار.

## الفائرزو بالجائزة

| السنة | عنوان الورقة | الموضوع |
| 2000 | Lamport، L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. ج. 21 ع. 7: 558–565. DOI:10.1145/359545.359563. مؤرشف من الأصل (PDF) في 2023-01-26. | logical clocks |
| 2001 | Fischer، M. J.؛ Lynch، N. A.؛ Paterson، M. S. (1985). "Impossibility of distributed consensus with one faulty process" (PDF). Journal of the ACM. ج. 32 ع. 2: 374–382. DOI:10.1145/3149.214121. مؤرشف من الأصل (PDF) في 2007-07-05. | Proving the impossibility of توافق using اتصال غير متزامن |
| 2002 | Dijkstra، E. W. (نوفمبر 1974). "Self-stabilizing systems in spite of distributed control". Communications of the ACM. ج. 17 ع. 11: 643–644. DOI:10.1145/361179.361202. | Self-stabilization |
| 2003 | Herlihy، M. (1991). "Wait-free synchronization". ACM Transactions on Programming Languages and Systems. ج. 13 ع. 1: 124–149. CiteSeerX:10.1.1.56.5659. DOI:10.1145/114005.102808. موريس هيرلي | Solvability and universality of توافق in ذاكرة مشتركة systems |
| 2004 | Gallager، R. G.؛ Humblet، P. A.؛ Spira، P. M. (1983). "A Distributed Algorithm for Minimum-Weight Spanning Trees". ACM Transactions on Programming Languages and Systems. ج. 5 ع. 1: 66–77. DOI:10.1145/357195.357200. | Distributed algorithm to find a minimum spanning tree |
| 2005 | Pease، M.؛ Shostak، R.؛ Lamport، L. (أبريل 1980). "Reaching Agreement in the Presence of Faults". Journal of the ACM. ج. 27 ع. 2: 228–234. CiteSeerX:10.1.1.68.4044. DOI:10.1145/322186.322188. | مسألة الجنرالات البيزنطيين |
| 2006 | Mellor-Crummey، J. M.؛ Scott، M. L. (1991). "Algorithms for scalable synchronization on shared-memory multiprocessors". ACM Transactions on Computer Systems. ج. 9 ع. 1: 21–65. CiteSeerX:10.1.1.228.3461. DOI:10.1145/103727.103729. | "probably the most influential practical استبعاد التشارك algorithm of all time" |
| 2007 | Dwork، C.؛ Lynch، N.؛ Stockmeyer، L. (1988). "Consensus in the presence of partial synchrony". Journal of the ACM. ج. 35 ع. 2: 288–323. CiteSeerX:10.1.1.13.3423. DOI:10.1145/42282.42283. | Solving توافق in partially synchronous systems |
| 2008 | Awerbuch، B.؛ Peleg، D. (1990). "Sparse partitions". Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science. ص. 503–513. DOI:10.1109/FSCS.1990.89571. ISBN:978-0-8186-2082-9. | Sparse partitions |
| 2009 | Halpern، J. Y.؛ Moses، Y. (1990). "Knowledge and Common Knowledge in a Distributed Environment". Journal of the ACM. ج. 37 ع. 3: 549–587. arXiv:cs/0006009. DOI:10.1145/79147.79161. | A formal framework for reasoning about knowledge in distributed systems |
| 2010 | Chandra، T. D.؛ Toueg، S. (1996). "Unreliable Failure Detectors for Reliable Distributed Systems". Journal of the ACM. ج. 43 ع. 2: 225–267. CiteSeerX:10.1.1.113.498. DOI:10.1145/226643.226647. hdl:1813/7192. Chandra، T. D.؛ Hadzilacos، V.؛ Toueg، S. (1996). "The Weakest Failure Detector for Solving Consensus". Journal of the ACM. ج. 43 ع. 4: 685–722. CiteSeerX:10.1.1.55.8585. DOI:10.1145/234533.234549. hdl:1813/6208. | Failure detectors |
| 2011 | Attiya، H.؛ Bar-Noy، A.؛ Dolev، D. (1995). "Sharing Memory Robustly in Message-Passing Systems". Journal of the ACM. ج. 42 ع. 1: 124–142. DOI:10.1145/200836.200869. | Simulating shared memory in fault-prone message-passing systems |
| 2012 | Herlihy، M.؛ Moss، J. E. B. (1993). "Transactional memory". ACM SIGARCH Computer Architecture News. ج. 21 ع. 2: 289–300. DOI:10.1145/173682.165164. Shavit، N.؛ Touitou، D. (1997). "Software transactional memory". Distributed Computing. ج. 10 ع. 2: 99–116. CiteSeerX:10.1.1.468.7173. DOI:10.1007/s004460050028. | Transactional memory |
| 2013 | Linial، N. (1992). "Locality in Distributed Graph Algorithms". SIAM Journal on Computing. ج. 21: 193–201. CiteSeerX:10.1.1.711.689. DOI:10.1137/0221015. | Locality in distributed graph algorithms |
| 2014 | Chandy، K. M.؛ Lamport، L. (1985). "Distributed snapshots: Determining global states of distributed systems". ACM Transactions on Computer Systems. ج. 3: 63–75. CiteSeerX:10.1.1.69.2561. DOI:10.1145/214451.214456. | The Chandy–Lamport algorithm to get a consistent picture of the global state of a system |
| 2015 | Ben-Or، M. (1983). "Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols". Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing - PODC '83. ص. 27–30. DOI:10.1145/800221.806707. ISBN:978-0897911108. Rabin، M. O. (1983). "Randomized byzantine generals". 24th Annual Symposium on Foundations of Computer Science (FOCS 1983). ص. 403–409. DOI:10.1109/SFCS.1983.48. ISBN:978-0-8186-0508-6. | تسامح مع الأخطاء خوارزمية عشوائية distributed خوارزمية |
| 2016 | Alon، Noga؛ Babai، László؛ Itai، Alon (1986). "A fast and simple randomized parallel algorithm for the maximal independent set problem". Journal of Algorithms. ج. 7 ع. 4: 567. DOI:10.1016/0196-6774(86)90019-2. Luby، Michael (1986). "A Simple Parallel Algorithm for the Maximal Independent Set Problem". SIAM Journal on Computing. ج. 15 ع. 4: 1036–1053. CiteSeerX:10.1.1.225.5475. DOI:10.1137/0215074. | Algorithms for finding a maximal independent set |
| 2017 | Borowsky، Elizabeth؛ Gafni، Eli (1993). "Generalized FLP impossibility result for t-resilient asynchronous computations". P 25th Annual ACM Symposium on Theory of Computing. ACM. ص. 91–100. | The BG Simulation Algorithm, which allows a set of processes to simulate a larger set of processes in a coordinated way |
| 2018 | Alpern، Bowen؛ Schneider، Fred B. (1985). "Defining liveness". Information Processing Letters. ج. 21 ع. 4: 181–185. | Formal definition of liveness property. |
| 2019 | Panconesi، A.؛ Srinivasan، A. (1997). "Randomized Distributed Edge Coloring via an Extension of the Chernoff-Hoeffding Bounds". SIAM Journal on Computing. ج. 26 ع. 2: 350–368. DOI:10.1137/S0097539793250767. hdl:1813/6127. | Distributed edge coloring |
| 2020 | Angluin، D.؛ Aspnes، J.؛ Diamadi، Z.؛ Fischer، M. J.؛ Peralta، R. (2006). "Computation in networks of passively mobile finite-state sensors". Distributed Computing. ج. 18 ع. 4: 235–253. DOI:10.1007/s00446-005-0138-3. | Population Protocols |
| 2021 | Kanellakis، Paris C.؛ Smolka، Scott A. (مايو 1990). "CCS expressions, finite state processes, and three problems of equivalence". Information and Computation. ج. 86 ع. 1: 43–68. DOI:10.1016/0890-5401(90)90025-D. | |
| 2022 | Michael، Maged M. (2002). "Safe memory reclamation for dynamic lock-free objects using atomic reads and writes". ACM Symposium on Principles of Distributed Computing. ص. 21–30. DOI:10.1007/3-540-36108-1_23. Herlihy، Maurice؛ Luchangco، Victor؛ Moir، Mark (2002). "The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures". International Symposium on Distributed Computing. ص. 339–353. DOI:10.1007/3-540-36108-1_23. | Memory reclamation for خوارزمية غير مسدودة data structures |

## التمويل

يتم تمويل الجائزة من قبل ACM PODC و EATCS DISC ، حيث يوفر كل منهما حصة متساوية قدرها 1000 دولار من 2000 دولار من الجائزة.
يتم تمويل حصة PODC من خلال وقف لدى ACM يستند إلى هدايا من مجموعة الاهتمامات الخاصة لدى ACM بشأن الخوارزميات ونظرية الحساب (SIGACT) ، ومجموعة الاهتمامات الخاصة لدى ACM بشأن أنظمة التشغيل (SIGOPS) ، وشركة AT&T ، وشركة Hewlett-Packard الشركة و International Business Machines (IBM) Corporation و Intel Corporation و Sun Microsystems، Inc.
يتم تمويل حصة DISC من خلال هبة في EATCS تعتمد على مساهمات من ميزانيات DISC لعدة سنوات، وهدايا من Microsoft Research ، و Universidad Rey Juan Carlos ووزارة العلوم والابتكار الإسبانية.

## انظر أيضا

* قائمة الجوائز المتعلقة بالحاسوب
* قائمة جوائز علوم الكمبيوتر

## المصادر

* ↑ "2000 PODC Influential Paper Award"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-08، اطلع عليه بتاريخ 2020-09-10
* ↑ "2001 PODC Influential Paper Award"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2020-09-10
* ↑ "2002 PODC Influential Paper Award"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-04-06، اطلع عليه بتاريخ 2019-09-30
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2003"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-01-21، اطلع عليه بتاريخ 2009-08-24
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2004"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2019-03-29، اطلع عليه بتاريخ 2009-08-24
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2005"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-01-05، اطلع عليه بتاريخ 2009-08-24
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2006"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2021-04-21، اطلع عليه بتاريخ 2009-08-24
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2007"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2019-03-29، اطلع عليه بتاريخ 2009-08-24
* ↑ "Edsger W. Dijkstra Prize in Distributed Computing: 2008"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2019-03-29، اطلع عليه بتاريخ 2009-08-24
* ↑ "2009 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-08، اطلع عليه بتاريخ 2019-09-30
* ↑ "2010 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2011 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2012 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2013 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2014 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2020-09-19
* ↑ "2015 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2020-09-19
* ↑ "2016 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-08، اطلع عليه بتاريخ 2019-09-30
* ↑ "2017 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2018 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-30
* ↑ "2019 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-02، اطلع عليه بتاريخ 2019-09-09
* ↑ "Prof. Alessandro Panconesi won Edsger W. Dijkstra Prize in Distributed Computing". Journal of Computer and System Sciences. Elsevier B.V. مؤرشف من الأصل في 2021-05-08.
* ↑ "2020 Edsger W. Dijkstra Prize in Distributed Computing"، ACM Symposium on Principles of Distributed Computing، مؤرشف من الأصل في 2022-03-08، اطلع عليه بتاريخ 2019-09-09