Dijkstra-Preis

Der Dijkstra-Preis i​st ein Informatik-Preis. Er w​ird für herausragende Arbeiten i​n Verteiltem Rechnen (Distributed Computing) vergeben. Er i​st seit 2003 n​ach dessen Tod (2002) z​u Ehren v​on Edsger W. Dijkstra benannt u​nd hieß vorher PODC Influential Paper Award, verliehen v​om ACM Symposium o​n Principles o​f Distributed Computing (PODC). Seit 2007 w​ird er a​uch zusammen m​it der European Association f​or Theoretical Computer Science (EATCS) verliehen v​om International Symposium o​n Distributed Computing (DISC). Er i​st mit 2000 Dollar dotiert u​nd wird jährlich alternierend a​uf den Treffen d​er PODC o​der der DISC verliehen.

Preisträger
  • 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
  • 2015
    • Michael Ben-Or für Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols. Proceedings of the Second ACM Symposium on Principles of Distributed Computing, S. 27–30, August 1983
    • Michael O. Rabin für Randomized Byzantine Generals. Proceedings of Twenty-Fourth IEEE Annual Symposium on Foundations of Computer Science, S. 403–409, November 1983
  • 2016
    • Noga Alon, László Babai, Alon Itai für A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem. Journal of Algorithms, 7(4):567-583, 1986
    • Michael Luby für Simple Parallel Algorithm for the Maximal Independent Set Problem. Proceedings of the 17th Annual ACM Symposium on Theory of Computing (STOC), pp. 1-10, May 1985, und SIAM Journal on Computing, 15(4):1036-1053, 1986
  • 2017 Elizabeth Borowsky, Eli Gafni für Generalized FLP impossibility result for t-resilient asynchronous computations. Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing (STOC 93), S. 91–100, Mai 1993
  • 2018 Bowen Alpern, Fred B. Schneider für Defining liveness. Information Processing Letters 21(4), Oktober 1985, S. 181–185
  • 2019 Alessandro Panconesi, Aravind Srinivasan für Randomized Distributed Edge Coloring via an Extension of the Chernoff–Hoeffding Bounds. SIAM Journal on Computing, 26 (2), 1997, S. 350–36
  • 2020 Dana Angluin, James Aspnes, Zoe Diamadi, Michael J. Fischer, Rene Peralta für Computation in networks of passively mobile finite-state sensors. Distributed Computing, 18(4), 2006, S. 235–253
  • 2021 Paris C. Kanellakis, Scott A. Smolka für CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Information and Computation, 86(1), 1990, S. 43–68
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.