Premio Dijkstra
El Premio Edsger W. Dijkstra es una distinción que se entrega a los autores de artículos destacados en los principios de computación distribuida. Su nombre es en reconocimiento del cientista de computación Edsger W. Dijkstra. Los artículos seleccionados deben significar un aporte importante en la teoría o práctica del área de la computación distribuida, al menos durante los últimos 10 años. Es otorgado anualmente en el Simposium en Principios de Computación Distribuida de la Association for Computing Machinery, y una vez finalizado el Congreso se publica una descripción con las contribuciones del artículo.
Durante los tres primeros años, el premio se llamó PODC Influential Paper Award.
Ganadores
- 2000 - Leslie Lamport por su artículo sobre relojes lógicos.
- 2001 - Michael J. Fischer, Nancy A. Lynch y Michael S. Paterson, por demostrar la imposibilidad de consensos usando comunicación asincrónica.
- 2002 - Edsger W. Dijkstra por su artículo que establece el principio de autoestabilización.
- 2003 - Maurice Herlihy por su artículo que resuelve y universaliza el consenso en sistemas de memoria compartida distribuida.
- 2004 - Robert G. Gallager, P. A. Humblet y P. M. Spira, por su algoritmo de distribución para encontrar un árbol spanning mínimo.[1]
- 2005 - Marshal Pease, Robert Shostak y Leslie Lamport, por su artículo de tolerancia a fallos bizantinos.
- 2006 - John M. Mellor-Crummey y Michael L. Scott, por su algoritmo de exclusión mutua.
- 2007 - Cynthia Dwork, Nancy A. Lynch y Larry Stockmeyer, por su artículo que resuelve el consenso en sistemas sincrónicos parciales.[2]
- 2008 - Baruch Awerbuch, David Peleg por su artículo sobre Sparse Partitions.[3]
- 2009 - Joseph Halpern y Yoram Moses por su artículo que aporta una visión formal para la representación del conocimiento en sistemas distribuidos.[4]
- 2010 - Tushar D. Chandra, Vassos Hadzilacos, Sam Toueg por su trabajo sobre detectores de fallos (computación distribuida).
Referencias
- ↑ Gallager, Robert G.; Humblet, Pierre A.; Spira, Philip 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.
- ↑ Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry (1988), «Consensus in the presence of partial synchrony», Journal of the ACM 35 (2): 288-323, doi:10.1145/42282.42283.
- ↑ Awerbuch, Baruch; Peleg, David (1990), «Sparse partitions», Proceedings of the 31st Annual Symposium on Foundations of Computer Science (FOCS 1990), pp. 503-513, doi:10.1109/FSCS.1990.89571.
- ↑ Halpern, Joseph; Moses, Yoram (1990), «Knowledge and Common Knowledge in a Distributed Environment», Journal of the ACM 37 (3): 549-587, doi:10.1145/79147.79161.