Dijkstra-Preis

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Dijkstra-Preis ist ein Informatik-Preis. Er wird für herausragende Arbeiten in Verteiltem Rechnen (Distributed Computing) vergeben. Er ist seit 2003 nach dessen Tod (2002) zu Ehren von Edsger W. Dijkstra benannt und hieß vorher PODC Influential Paper Award, verliehen vom ACM Symposium on Principles of Distributed Computing (PODC). Seit 2007 wird er auch zusammen mit der European Association for Theoretical Computer Science (EATCS) verliehen vom International Symposium on Distributed Computing (DISC). Er ist mit 2000 Dollar dotiert und wird jährlich alternierend auf den Treffen der PODC oder der DISC verliehen.

Preisträger[Bearbeiten]

  • 2000 Leslie Lamport für Time, clocks and the ordering of events in distributed systems, Communications of the ACM, Band 21, 1978, S. 558
  • 2001 Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson für Impossibility of Distributed Consensus with One Faulty Process, Journal of the ACM, Band 32, 1985, S. 374
  • 2002 Edsger W. Dijkstra für Self-stabilizing systems in spite of distributed control, Communications of the ACM, Band 17, 1974, S. 643
  • 2003 Maurice Herlihy für Wait-Free Synchronization, ACM Transactions on Programming Languages and Systems, Band 13, 1991, S. 124–149
  • 2004 Robert G. Gallager, Pierre A. Humblet, Philip M. Spira für A Distributed Algorithm for Minimum-Weight Spanning Trees, ACM Transactions on Programming Languages and Systems, Band 5, 1983, S. 66–77
  • 2005 Marshall Pease, Robert Shostak, Leslie Lamport für Reaching agreement in the presence of faults, Journal of the ACM, Band 27, 1980, S. 228 (Byzantine Agreement Problem)
  • 2006 John M. Mellor-Crummey, Michael L. Scott für Algorithms for scalable synchronization on shared-memory multiprocessors, ACM Transactions on Computer Systems, Band 9, 1991, S. 21
  • 2007 Cynthia Dwork, Nancy A. Lynch, Larry Stockmeyer für Consensus in the presence of partial synchrony, Journal of the ACM, Band 35, 1988, S. 288–323
  • 2008 Baruch Awerbuch, David Peleg für Sparse partitions, Proceedings of the 31st Annual Symposium on Foundations of Computer Science (FOCS), 1990, S. 503
  • 2009 Joseph Halpern, Yoram Moses für Knowledge and Common Knowledge in a Distributed Environment, Journal of the ACM, Band 37, 1990, S. 549
  • 2010 Tushar D. Chandra, Vassos Hadzilacos, Sam Toueg für Unreliable Failure Detectors for Reliable Distributed Systems, Journal of the ACM, Band 43, 1996, S. 225–267, The Weakest Failure Detector for Solving Consensus, ibid, S. 685–722
  • 2011 Hagit Attiya, Amotz Bar-Noy und Danny Dolev für Sharing Memory Robustly in Message-Passing Systems, Journal of the ACM, Band 42, 1995, S. 124-142
  • 2012 Maurice Herlihy, Eliot Moss, Nir Shavit, Dan Touitou für Herlihy, Moss Transactional Memory: Architectural Support for Lock-Free Data Structures, Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993, S. 289-300, und Shavit, Touitou Software Transactional Memory, Distributed Computing, Band 10, 1997, S. 99-116, Februar 1997 (und Proc. 14th Annual ACM Symp. on Principles of Distributed Computing, August 1995, S. 204-213).
  • 2013 Nati Linial für Locality in Distributed Graph Algorithms. SIAM Journal on Computing, Band 21, 1992, S. 193-201
  • 2014 Kanianthra Mani Chandy und Leslie Lamport für Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems, Band 3, 1985, S. 63–75

Weblinks[Bearbeiten]