جائزة ديكسترا
الفائرزو بالجائزة

| السنة | عنوان الورقة | الموضوع |
| --- | --- | --- |
| 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 |