Dijkstra Prize
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
- List of important publications in concurrent, parallel, and distributed computing
- List of computer-related awards
- List of computer science awards
References
- ↑ 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. - ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
- EATCS web site: Awards: Dijkstra Prize.
- PODC web site: Edsger W. Dijkstra Prize in Distributed Computing.