Dijkstra cena - Dijkstra Prize

The Cena papíru Edsgera W. Dijkstra v distribuovaných výpočtech je uveden za vynikající práce na principech distribuované výpočty, jejichž význam a dopad na teorii a / nebo praxi distribuovaných výpočtů je patrný nejméně po desetiletí. Cena za papír se uděluje každoročně od roku 2000.

Původně byla papírová cena prezentována na ACM Symposium on Principles of Distributed Computing (PODC), a to bylo známé jako Cena PODC Influential-Paper. To bylo přejmenováno na počest Edsger W. Dijkstra v roce 2003 poté, co obdržel cenu za svou práci v autostabilizace v roce 2002 a krátce nato zemřel.

Od roku 2007[1] cenu za papír sponzorují společně PODC a EATCS Mezinárodní symposium o distribuovaných výpočtech (DISC) a prezentace probíhá střídavě v PODC (sudé roky) a DISC (liché roky). Cena papíru zahrnuje cenu 2 000 $.

Vítězové

RokPapírTéma
2000[2]Lamport, L. (1978). „Čas, hodiny a řazení událostí v distribuovaném systému“ (PDF). Komunikace ACM . 21 (7): 558–565. doi:10.1145/359545.359563.logické hodiny
2001[3]Fischer, M. J.; Lynch, N. A.; Paterson, M. S. (1985). „Nemožnost distribuované shody s jedním vadným procesem“ (PDF). Deník ACM. 32 (2): 374–382. doi:10.1145/3149.214121. Archivovány od originál (PDF) dne 2007-07-05.Dokazující nemožnost shoda použitím asynchronní komunikace
2002[4]Dijkstra, E. W. (Listopad 1974). "Samostabilizační systémy navzdory distribuovanému řízení". Komunikace ACM. 17 (11): 643–644. doi:10.1145/361179.361202.Samostabilizace
2003[5]Herlihy, M. (1991). Msgstr "Synchronizace bez čekání". Transakce ACM v programovacích jazycích a systémech. 13 (1): 124–149. CiteSeerX  10.1.1.56.5659. doi:10.1145/114005.102808. Maurice HerlihyŘešitelnost a univerzálnost shoda v sdílená paměť systémy
2004[6]Gallager, R. G.; Humblet, P. A .; Spira, P. M. (1983). "Distribuovaný algoritmus pro kostry o minimální hmotnosti". Transakce ACM v programovacích jazycích a systémech. 5 (1): 66–77. doi:10.1145/357195.357200.Distribuovaný algoritmus k nalezení a minimální kostra
2005[7]Pease, M.; Shostak, R.; Lamport, L. (Duben 1980). „Dosažení dohody za přítomnosti chyb“. Deník ACM. 27 (2): 228–234. CiteSeerX  10.1.1.68.4044. doi:10.1145/322186.322188.Byzantská dohoda
2006[8]Mellor-Crummey, J. M .; Scott, M. L. (1991). "Algoritmy pro škálovatelnou synchronizaci na multiprocesorech sdílené paměti". Transakce ACM v počítačových systémech. 9 (1): 21–65. CiteSeerX  10.1.1.228.3461. doi:10.1145/103727.103729.„pravděpodobně nejvlivnější praktický vzájemné vyloučení algoritmus všech dob "
2007[9]Dwork, C.; Lynch, N.; Stockmeyer, L. (1988). "Konsenzus v přítomnosti částečné synchronizace". Deník ACM. 35 (2): 288–323. CiteSeerX  10.1.1.13.3423. doi:10.1145/42282.42283.Řešení shoda v částečně synchronních systémech
2008[10]Awerbuch, B.; Peleg, D. (1990). "Řídké oddíly". Proceedings [1990] 31. výroční sympozium o základech informatiky. 503–513. doi:10.1109 / FSCS.1990.89571. ISBN  978-0-8186-2082-9.Řídké oddíly
2009[11]Halpern, J. Y.; Mojžíš, Y. (1990). "Znalosti a obecné znalosti v distribuovaném prostředí". Deník ACM. 37 (3): 549–587. arXiv:cs / 0006009. doi:10.1145/79147.79161.Formální rámec pro uvažování o znalostech v distribuovaných systémech
2010[12]Chandra, T. D .; Toueg, S. (1996). "Nespolehlivé detektory poruch pro spolehlivé distribuované systémy". Deník 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). "Nejslabší detektor poruch pro řešení konsensu". Deník ACM. 43 (4): 685–722. CiteSeerX  10.1.1.55.8585. doi:10.1145/234533.234549. hdl:1813/6208.		Detektory poruch
2011[13]Attiya, H.; Bar-Noy, A .; Dolev, D. (1995). "Robustní sdílení paměti v systémech předávání zpráv". Deník ACM. 42 (1): 124–142. doi:10.1145/200836.200869.Simulace sdílené paměti v systémech předávání zpráv náchylných na poruchy
2012[14]Herlihy, M.; Moss, J. E. B. (1993). "Transakční paměť". Zprávy počítačové architektury ACM SIGARCH. 21 (2): 289–300. doi:10.1145/173682.165164.
Shavit, N.; Touitou, D. (1997). "Softwarová transakční paměť". Distribuované výpočty. 10 (2): 99–116. CiteSeerX  10.1.1.468.7173. doi:10,1007 / s004460050028.		Transakční paměť
2013[15]Linial, N. (1992). Msgstr "Lokalita v algoritmech distribuovaného grafu". SIAM Journal on Computing. 21: 193–201. CiteSeerX  10.1.1.711.689. doi:10.1137/0221015.Lokalita v algoritmech distribuovaného grafu
2014[16]Chandy, K. M.; Lamport, L. (1985). "Distribuované snímky: Určení globálních stavů distribuovaných systémů". Transakce ACM v počítačových systémech. 3: 63–75. CiteSeerX  10.1.1.69.2561. doi:10.1145/214451.214456.The Algoritmus Chandy-Lamport získat konzistentní obraz o globálním stavu systému
2015[17]Ben-Or, M. (1983). "Další výhoda svobodné volby: Zcela asynchronní protokoly dohod". Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing - PODC '83. str. 27–30. doi:10.1145/800221.806707. ISBN  978-0897911108.
Rabin, M. O. (1983). "Randomizovaní byzantští generálové". 24. výroční sympozium o základech informatiky (FOCS 1983). 403–409. doi:10.1109 / SFCS.1983.48. ISBN  978-0-8186-0508-6.		Tolerantní k chybám náhodně distribuováno algoritmy
2016[18]Alon, Noga; Babai, László; Itai, Alon (1986). Msgstr "Rychlý a jednoduchý randomizovaný paralelní algoritmus pro problém maximální nezávislé množiny". Journal of Algorithms. 7 (4): 567. doi:10.1016/0196-6774(86)90019-2.
Luby, Michael (1986). "Jednoduchý paralelní algoritmus pro problém maximální nezávislé množiny". SIAM Journal on Computing. 15 (4): 1036–1053. CiteSeerX  10.1.1.225.5475. doi:10.1137/0215074.		Algoritmy pro nalezení a maximální nezávislá množina
2017[19]Borowsky, Elizabeth; Gafni, Eli (1993). Msgstr "Výsledek nemožnosti generalizovaného FLP pro t-resilientní asynchronní výpočty". P 25. výroční ACM symposium o teorii práce s počítačem. ACM. str. 91–100.Simulační algoritmus BG, který umožňuje sadě procesů koordinovaně simulovat větší sadu procesů
2018[20]Alpern, Bowen; Schneider, Fred B. (1985). "Definování živosti". Dopisy o zpracování informací. 21 (4): 181–185.Formální definice živého majetku.
2019[21][22]Panconesi, A.; Srinivasan, A. (1997). "Randomizované distribuované zbarvení hran pomocí rozšíření hranic černoff-hoeffding". SIAM Journal on Computing. 26 (2): 350–368. doi:10.1137 / S0097539793250767. hdl:1813/6127.Distribuováno zbarvení hran
2020[23]Angluin, D.; Aspnes, J.; Diamadi, Z.; Fischer, M. J.; Peralta, R. (2006). "Výpočet pasivně mobilních konečných snímačů v sítích". Distribuované výpočty. 18 (4): 235–253. doi:10.1007 / s00446-005-0138-3.

Financování

Ocenění je financováno společnostmi ACM PODC a EATCS DISC, přičemž každý z nich poskytuje stejný podíl ve výši 1 000 $ oproti 2 000 $ ceny.

  • Akcie PODC jsou financovány z dotace ACM, která je založena na darech od ACM Special Interest Group on Algorithms and Computory Theory (SIGACT), ACM Special Interest Group on Operating Systems (SIGOPS), AT&T Corporation, Hewlett-Packard Company, International Business Machines (IBM) Corporation, Intel Corporation a Sun Microsystems, Inc.
  • Podíl DISC je financován z dotace EATCS, která je založena na příspěvcích z víceletých rozpočtů DISC a darech od Microsoft Research, Universidad Rey Juan Carlos a španělské ministerstvo pro vědu a inovace.

Viz také

Reference

  1. ^ Hendler, Danny (25. ledna 2005). „Cena Edsgera W. Dijkstra v distribuované práci s počítačem: Včasná výzva k nominaci na papír“. Archivovány od originál dne 2010-06-24.
    –„Výzva k podávání nominací: Cena Edsgera W. Dijkstra 2006 za distribuované výpočty - Cena PODC Influential Paper Award“. 25. výroční sympozium ACM SIGACT-SIGOPS o zásadách distribuovaného výpočtu (PODC 2006) 23. - 26. července 2006, Denver, Colorado, USA.
    –Andrzej Pelc (ed.). Distribuované výpočty. 21. mezinárodní sympozium, DISC 2007, Lemesos, Kypr, 24. – 26. Září 2007. doi:10.1007/978-3-540-75142-7.
    –„Dijkstra Prize 2007“. www2.cs.ucy.ac.cy.
  2. ^ „Cena 2000 PODC Influential Paper Award“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2020-09-10
  3. ^ „Cena PODC Influential Paper 2001“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2020-09-10
  4. ^ „Cena PODC Influential Paper 2002“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  5. ^ „Cena Edsgera W. Dijkstra v distribuovaných výpočtech: 2003“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  6. ^ „Cena Edsgera W. Dijkstra v distribuovaných výpočtech: 2004“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  7. ^ „Cena Edsgera W. Dijkstra v distribuovaných výpočtech: 2005“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  8. ^ „Cena Edsgera W. Dijkstra v distribuovaných výpočtech: 2006“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  9. ^ „Cena Edsgera W. Dijkstra za distribuované výpočty: 2007“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  10. ^ „Cena Edsgera W. Dijkstra v distribuovaných počítačích: 2008“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2009-08-24
  11. ^ „Cena Edsgera W. Dijkstra v roce 2009 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  12. ^ „Cena Edsgera W. Dijkstra 2010 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  13. ^ „Cena Edsgera W. Dijkstra za distribuované výpočty 2011“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  14. ^ „Cena Edsgera W. Dijkstra v roce 2012 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  15. ^ „Cena Edsgera W. Dijkstra v roce 2013 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  16. ^ „Cena Edsgera W. Dijkstra v roce 2014 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2020-09-19
  17. ^ „Cena Edsgera W. Dijkstra 2015 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2020-09-19
  18. ^ „Cena Edsgera W. Dijkstra za distribuované výpočty 2016“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  19. ^ „Cena Edsgera W. Dijkstra v roce 2017 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  20. ^ „Cena Edsgera W. Dijkstra v roce 2018 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-30
  21. ^ „Cena Edsgera W. Dijkstra v roce 2019 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-09
  22. ^ „Prof. Alessandro Panconesi získal cenu Edsgera W. Dijkstra v distribuované práci s počítačem“. Journal of Computer and System Sciences. Elsevier B.V.
  23. ^ „Cena Edsgera W. Dijkstra v roce 2020 za distribuované výpočty“, ACM Symposium on Principles of Distributed Computing, vyvoláno 2019-09-09

externí odkazy