Dijkstra Prize

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found. The Edsger W. Dijkstra Paper Prize in Distributed Computing is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. The paper prize has been presented annually since 2000.

Originally the paper prize was presented at the ACM Symposium on Principles of Distributed Computing (PODC), and it was known as the PODC Influential-Paper Award. It was renamed in honor of Edsger W. Dijkstra in 2003, after he received the award for his work in self-stabilization in 2002 and died shortly thereafter.

Since 2007,[1] the paper prize is sponsored jointly by PODC and the EATCS International Symposium on Distributed Computing (DISC), and the presentation takes place alternately at PODC (even years) and DISC (odd years). The paper prize includes an award of $2000.

Winners

Year Paper Topic
2000[2] Lua error in package.lua at line 80: module 'strict' not found. logical clocks
2001[3] Lua error in package.lua at line 80: module 'strict' not found. Proving the impossibility of consensus using asynchronous communication
2002[4] Lua error in package.lua at line 80: module 'strict' not found. Self-stabilization
2003[5] Lua error in package.lua at line 80: module 'strict' not found. Maurice Herlihy Solvability and universality of consensus in shared-memory systems
2004[6] Lua error in package.lua at line 80: module 'strict' not found. Distributed algorithm to find a minimum spanning tree
2005[7] Lua error in package.lua at line 80: module 'strict' not found. Byzantine agreement
2006[8] Lua error in package.lua at line 80: module 'strict' not found. "probably the most influential practical mutual exclusion algorithm of all time"
2007[9] Lua error in package.lua at line 80: module 'strict' not found. Solving consensus in partially synchronous systems
2008[10] Lua error in package.lua at line 80: module 'strict' not found. Sparse partitions
2009[11] Lua error in package.lua at line 80: module 'strict' not found. A formal framework for reasoning about knowledge in distributed systems
2010[12] Lua error in package.lua at line 80: module 'strict' not found.
Lua error in package.lua at line 80: module 'strict' not found.
Failure detectors
2011[13] Lua error in package.lua at line 80: module 'strict' not found. Simulating shared memory in fault-prone message-passing systems
2012[14] Lua error in package.lua at line 80: module 'strict' not found.
Lua error in package.lua at line 80: module 'strict' not found.
Transactional memory
2013[15] Lua error in package.lua at line 80: module 'strict' not found. Locality in distributed graph algorithms
2014[16] Lua error in package.lua at line 80: module 'strict' not found. The Chandy–Lamport algorithm to get a consistent picture of the global state of a system
2015[17] Lua error in package.lua at line 80: module 'strict' not found.
Lua error in package.lua at line 80: module 'strict' not found.
Fault-tolerant randomized distributed algorithms
2016[18] Lua error in package.lua at line 80: module 'strict' not found.
Lua error in package.lua at line 80: module 'strict' not found.
Algorithms for finding a maximal independent set
2017[19] Lua error in package.lua at line 80: module 'strict' not found. The BG Simulation Algorithm, which allows a set of processes to simulate a larger set of processes in a coordinated way
2018[20] Lua error in package.lua at line 80: module 'strict' not found. Formal definition of liveness property.
2019[21][22] Lua error in package.lua at line 80: module 'strict' not found. Distributed edge coloring
2020[23] Lua error in package.lua at line 80: module 'strict' not found. Population Protocols
2021 Lua error in package.lua at line 80: module 'strict' not found.
2022 Lua error in package.lua at line 80: module 'strict' not found.

Lua error in package.lua at line 80: module 'strict' not found.

Memory reclamation for non-blocking data structures

Funding

The award is financed by ACM PODC and EATCS DISC, each providing an equal share of $1,000 towards the $2,000 of the award.

  • The PODC share is financed by an endowment at ACM that is based on gifts from the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), the ACM Special Interest Group on Operating Systems (SIGOPS), the AT&T Corporation, the Hewlett-Packard Company, the International Business Machines (IBM) Corporation, the Intel Corporation, and Sun Microsystems, Inc.
  • The DISC share is financed by an endowment at EATCS that is based on contributions from several year's DISC budgets, and gifts from Microsoft Research, the Universidad Rey Juan Carlos and the Spanish Ministry of Science and Innovation.

See also

References

  1. Lua error in package.lua at line 80: module 'strict' not found.
    Lua error in package.lua at line 80: module 'strict' not found.
    Lua error in package.lua at line 80: module 'strict' not found.
    Lua error in package.lua at line 80: module 'strict' not found.
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Lua error in package.lua at line 80: module 'strict' not found.
  9. Lua error in package.lua at line 80: module 'strict' not found.
  10. Lua error in package.lua at line 80: module 'strict' not found.
  11. Lua error in package.lua at line 80: module 'strict' not found.
  12. Lua error in package.lua at line 80: module 'strict' not found.
  13. Lua error in package.lua at line 80: module 'strict' not found.
  14. Lua error in package.lua at line 80: module 'strict' not found.
  15. Lua error in package.lua at line 80: module 'strict' not found.
  16. Lua error in package.lua at line 80: module 'strict' not found.
  17. Lua error in package.lua at line 80: module 'strict' not found.
  18. Lua error in package.lua at line 80: module 'strict' not found.
  19. Lua error in package.lua at line 80: module 'strict' not found.
  20. Lua error in package.lua at line 80: module 'strict' not found.
  21. Lua error in package.lua at line 80: module 'strict' not found.
  22. Lua error in package.lua at line 80: module 'strict' not found.
  23. Lua error in package.lua at line 80: module 'strict' not found.

External links