El premio Edsger W. Dijkstra Paper en Computación Distribuida se otorga a trabajos sobresalientes sobre los principios de la computación distribuida , cuya importancia e impacto en la teoría y / o práctica de la computación distribuida ha sido evidente durante al menos una década. El premio de ponencia se presenta anualmente desde 2000.
Originalmente, el premio del trabajo se presentó en el Simposio ACM sobre Principios de Computación Distribuida (PODC), y fue conocido como el Premio PODC Influential-Paper . Fue rebautizado en honor a Edsger W. Dijkstra en 2003, después de que recibió el premio por su trabajo en autoestabilización en 2002 y murió poco después.
Desde 2007, [1] el premio del trabajo está patrocinado conjuntamente por PODC y el Simposio Internacional de Computación Distribuida (DISC) de EATCS , y la presentación se lleva a cabo alternativamente en PODC (años pares) y DISC (años impares). El premio en papel incluye un premio de $ 2000.
Ganadores
Año | Papel | Tema |
---|---|---|
2000 [2] | Lamport, L. (1978). "Hora, relojes y ordenamiento de eventos en un sistema distribuido" (PDF) . Comunicaciones de la ACM . 21 (7): 558–565. doi : 10.1145 / 359545.359563 . | relojes lógicos |
2001 [3] | Fischer, MJ ; Lynch, NA ; Paterson, MS (1985). "Imposibilidad de consenso distribuido con un proceso defectuoso" (PDF) . Revista de la ACM . 32 (2): 374–382. doi : 10.1145 / 3149.214121 . Archivado desde el original (PDF) el 2007-07-05. | Demostrar la imposibilidad de consenso mediante comunicación asincrónica |
2002 [4] | Dijkstra, EW (noviembre de 1974). "Sistemas autoestabilizantes a pesar del control distribuido". Comunicaciones de la ACM . 17 (11): 643–644. doi : 10.1145 / 361179.361202 . | Autoestabilización |
2003 [5] | Herlihy, M. (1991). "Sincronización sin espera". Transacciones ACM sobre lenguajes y sistemas de programación . 13 (1): 124-149. CiteSeerX 10.1.1.56.5659 . doi : 10.1145 / 114005.102808 . Maurice Herlihy | Solubilidad y universalidad del consenso en sistemas de memoria compartida |
2004 [6] | Gallager, RG ; Humblet, PA; Spira, PM (1983). "Un algoritmo distribuido para árboles de expansión de peso mínimo". Transacciones ACM sobre lenguajes y sistemas de programación . 5 (1): 66–77. doi : 10.1145 / 357195.357200 . | Algoritmo distribuido para encontrar un árbol de expansión mínimo |
2005 [7] | Pease, M .; Shostak, R .; Lamport, L. (abril de 1980). "Llegar a un acuerdo en presencia de fallas". Revista de la ACM . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . doi : 10.1145 / 322186.322188 . | Acuerdo bizantino |
2006 [8] | Mellor-Crummey, JM; Scott, ML (1991). "Algoritmos de sincronización escalable en multiprocesadores de memoria compartida". Transacciones ACM en sistemas informáticos . 9 (1): 21–65. CiteSeerX 10.1.1.228.3461 . doi : 10.1145 / 103727.103729 . | "probablemente el algoritmo práctico de exclusión mutua más influyente de todos los tiempos" |
2007 [9] | Dwork, C .; Lynch, N .; Stockmeyer, L. (1988). "Consenso en presencia de sincronía parcial". Revista de la ACM . 35 (2): 288–323. CiteSeerX 10.1.1.13.3423 . doi : 10.1145 / 42282.42283 . | Resolución de consenso en sistemas parcialmente síncronos |
2008 [10] | Awerbuch, B .; Peleg, D. (1990). "Particiones dispersas". Proceedings [1990] 31º Simposio Anual sobre Fundamentos de las Ciencias de la Computación . págs. 503–513. doi : 10.1109 / FSCS.1990.89571 . ISBN 978-0-8186-2082-9. | Particiones dispersas |
2009 [11] | Halpern, JY ; Moisés, Y. (1990). "Conocimiento y conocimiento común en un entorno distribuido". Revista de la ACM . 37 (3): 549–587. arXiv : cs / 0006009 . doi : 10.1145 / 79147.79161 . | Un marco formal para razonar sobre el conocimiento en sistemas distribuidos |
2010 [12] | Chandra, TD; Toueg, S. (1996). "Detectores de fallas no confiables para sistemas distribuidos confiables". Revista de la ACM . 43 (2): 225–267. CiteSeerX 10.1.1.113.498 . doi : 10.1145 / 226643.226647 . hdl : 1813/7192 . Chandra, TD; Hadzilacos, V .; Toueg, S. (1996). "El detector de fallas más débil para resolver el consenso". Revista de la ACM . 43 (4): 685–722. CiteSeerX 10.1.1.55.8585 . doi : 10.1145 / 234533.234549 . hdl : 1813/6208 . | Detectores de fallas |
2011 [13] | Attiya, H .; Bar-Noy, A .; Dolev, D. (1995). "Compartir memoria de forma robusta en sistemas de paso de mensajes". Revista de la ACM . 42 (1): 124-142. doi : 10.1145 / 200836.200869 . | Simulación de memoria compartida en sistemas de transmisión de mensajes propensos a fallas |
2012 [14] | Herlihy, M .; Moss, JEB (1993). "Memoria transaccional". ACM SIGARCH Computer Architecture News . 21 (2): 289–300. doi : 10.1145 / 173682.165164 . Shavit, N .; Touitou, D. (1997). "Software de memoria transaccional". Computación distribuida . 10 (2): 99-116. CiteSeerX 10.1.1.468.7173 . doi : 10.1007 / s004460050028 . | Memoria transaccional |
2013 [15] | Linial, N. (1992). "Localidad en algoritmos de gráficos distribuidos". Revista SIAM de Computación . 21 : 193-201. CiteSeerX 10.1.1.711.689 . doi : 10.1137 / 0221015 . | Localidad en algoritmos de grafos distribuidos |
2014 [16] | Chandy, KM ; Lamport, L. (1985). "Instantáneas distribuidas: determinación de estados globales de sistemas distribuidos". Transacciones ACM en sistemas informáticos . 3 : 63–75. CiteSeerX 10.1.1.69.2561 . doi : 10.1145 / 214451.214456 . | El algoritmo de Chandy-Lamport para obtener una imagen coherente del estado global de un sistema |
2015 [17] | Ben-Or, M. (1983). "Otra ventaja de la libre elección: protocolos de acuerdo completamente asincrónicos". Actas del Segundo Simposio Anual de ACM sobre Principios de Computación Distribuida - PODC '83 . págs. 27-30. doi : 10.1145 / 800221.806707 . ISBN 978-0897911108. Rabin, MO (1983). "Generales bizantinos aleatorizados". 24º Simposio Anual sobre Fundamentos de la Informática (FOCS 1983) . págs. 403–409. doi : 10.1109 / SFCS.1983.48 . ISBN 978-0-8186-0508-6. | Algoritmos distribuidos aleatorios tolerantes a fallas |
2016 [18] | Alon, Noga ; Babai, László ; Itai, Alon (1986). "Un algoritmo paralelo aleatorio rápido y simple para el problema del conjunto independiente máximo". Revista de algoritmos . 7 (4): 567. doi : 10.1016 / 0196-6774 (86) 90019-2 . Luby, Michael (1986). "Un algoritmo paralelo simple para el problema de conjunto independiente máximo". Revista SIAM de Computación . 15 (4): 1036–1053. CiteSeerX 10.1.1.225.5475 . doi : 10.1137 / 0215074 . | Algoritmos para encontrar un conjunto independiente máximo |
2017 [19] | Borowsky, Elizabeth ; Gafni, Eli (1993). "Resultado de imposibilidad de FLP generalizado para cálculos asincrónicos t-resilientes". P 25º Simposio Anual ACM sobre Teoría de la Computación . ACM. págs. 91-100. | El algoritmo de simulación BG, que permite que un conjunto de procesos simule un conjunto más grande de procesos de forma coordinada. |
2018 [20] | Alpern, Bowen ; Schneider, Fred B. (1985). "Definición de vivacidad". Cartas de procesamiento de información . 21 (4): 181-185. | Definición formal de propiedad vitalicia. |
2019 [21] [22] | Panconesi, A .; Srinivasan, A. (1997). "Coloración aleatoria de bordes distribuidos a través de una extensión de los límites de Chernoff-Hoeffding". Revista SIAM de Computación . 26 (2): 350–368. doi : 10.1137 / S0097539793250767 . hdl : 1813/6127 . | Coloración de bordes distribuida |
2020 [23] | Angluin, D .; Aspnes, J .; Diamadi, Z .; Fischer, MJ ; Peralta, R. (2006). "Computación en redes de sensores de estado finito pasivamente móviles". Computación distribuida . 18 (4): 235–253. doi : 10.1007 / s00446-005-0138-3 . |
Fondos
El premio es financiado por ACM PODC y EATCS DISC, cada uno proporcionando una parte igual de $ 1,000 para los $ 2,000 del premio.
- La acción de PODC está financiada por una dotación en ACM que se basa en donaciones del Grupo de interés especial de ACM sobre algoritmos y teoría de la computación (SIGACT), el Grupo de interés especial de sistemas operativos de ACM (SIGOPS), la Corporación AT&T, la Hewlett-Packard Company, International Business Machines (IBM) Corporation, Intel Corporation y Sun Microsystems, Inc.
- La acción de DISC se financia con una dotación de EATCS que se basa en las contribuciones de los presupuestos de DISC de varios años y las donaciones de Microsoft Research , la Universidad Rey Juan Carlos y el Ministerio de Ciencia e Innovación de España.
Ver también
- Lista de publicaciones importantes en computación concurrente, paralela y distribuida
- Lista de premios relacionados con la informática
- Lista de premios de informática
Referencias
- ^ Hendler, Danny (25 de enero de 2005). "Premio Edsger W. Dijkstra en Computación Distribuida: Convocatoria anticipada para nominaciones de papel" . Archivado desde el original el 24 de junio de 2010.
- "Convocatoria de nominaciones: Premio Edsger W. Dijkstra de Informática Distribuida 2006 - Premio PODC Influential Paper Award". 25º Simposio Anual ACM SIGACT-SIGOPS sobre Principios de Computación Distribuida (PODC 2006) 23-26 de julio de 2006, Denver, Colorado, EE. UU.
- Andrzej Pelc (ed.). Computación distribuida . 21º Simposio Internacional, DISC 2007, Lemesos, Chipre, 24-26 de septiembre de 2007. doi : 10.1007 / 978-3-540-75142-7 .
- "Premio Dijkstra 2007" . www2.cs.ucy.ac.cy . - ^ "2000 PODC Influential Paper Award" , Simposio de ACM sobre principios de computación distribuida , consultado el 10 de septiembre de 2020
- ^ "2001 PODC Influential Paper Award" , Simposio de ACM sobre principios de computación distribuida , consultado el 10 de septiembre de 2020
- ^ "2002 PODC Influential Paper Award" , Simposio de ACM sobre principios de computación distribuida , consultado el 30 de septiembre de 2019
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2003" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2004" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2005" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2006" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2007" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "Premio Edsger W. Dijkstra en Computación Distribuida: 2008" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 24 de agosto de 2009
- ^ "2009 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2010 Edsger W. Dijkstra Prize in Distributed Computing" , Simposio de ACM sobre principios de informática distribuida , consultado el 30 de septiembre de 2019.
- ^ "2011 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2012 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2013 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2014 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 19 de septiembre de 2020
- ^ "2015 Edsger W. Dijkstra Prize in Distributed Computing" , Simposio de ACM sobre los principios de la informática distribuida , consultado el 19 de septiembre de 2020.
- ^ "2016 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2017 Premio Edsger W. Dijkstra en Computación Distribuida" , Simposio ACM sobre Principios de Computación Distribuida , consultado el 30 de septiembre de 2019
- ^ "2018 Edsger W. Dijkstra Prize in Distributed Computing" , Simposio de ACM sobre los principios de la informática distribuida , consultado el 30 de septiembre de 2019.
- ^ "2019 Edsger W. Dijkstra Prize in Distributed Computing" , Simposio de ACM sobre principios de informática distribuida , consultado el 9 de septiembre de 2019.
- ^ "El Prof. Alessandro Panconesi ganó el Premio Edsger W. Dijkstra en Computación Distribuida" . Revista de Ciencias de la Computación y Sistemas . Elsevier BV
- ^ "2020 Edsger W. Dijkstra Prize in Distributed Computing" , Simposio ACM sobre principios de informática distribuida , consultado el 9 de septiembre de 2019.
enlaces externos
- Sitio web de EATCS : Premios: Premio Dijkstra .
- Sitio web del PODC : Premio Edsger W. Dijkstra en Computación Distribuida .
- Sitio web DISC : Premio Edsger W. Dijkstra en Computación Distribuida .
- Salón de la fama de los algoritmos: Rutger Dijkstra recibe el retrato de su padre Edsger Dijkstra .
- Libros electrónicos MPG en Dijkstra .