다이크스트라상

Dijkstra Prize

Edsger W. Dijkstra Paper Prize in Distributed Computing은 분산 컴퓨팅의 원리에 관한 뛰어난 논문으로, 분산 컴퓨팅의 이론 및/또는 실천에 대한 중요성과 영향이 10년 이상 명확합니다.논문상은 2000년부터 매년 수여되고 있다.

원래 이 상은 분산 컴퓨팅의 원칙에 관한 ACM 심포지엄(PODC)에서 수여되었으며, PODC 영향력-페이퍼 상으로 알려져 있습니다.2002년 에즈거 W. 다이크스트라가 자신의 안정에 대한 업적으로 상을 받은 후 곧 세상을 떠난 후 2003년에 이름을 바꿨다.

2007년부터는 [1]PODC와 EATCS International Sempium on Distributed Computing(DISC; 분산 컴퓨팅에 관한 국제 심포지엄)이 공동으로 논문상을 후원하고 있으며, 프레젠테이션은 PODC(짝수 년)와 DISC(홀수 년)에서 번갈아 진행됩니다.논문상에는 $2000의 상금이 포함되어 있습니다.

수상자

연도 종이. 주제
2000년[2] Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM . 21 (7): 558–565. doi:10.1145/359545.359563. 논리 클럭
2001년[3] Fischer, M. J.; Lynch, N. A.; Paterson, M. S. (1985). "Impossibility of distributed consensus with one faulty process" (PDF). Journal of the ACM. 32 (2): 374–382. doi:10.1145/3149.214121. Archived from the original (PDF) on 2007-07-05. 비동기 통신을 통한 합의의 불가능성 입증
2002년[4] Dijkstra, E. W. (November 1974). "Self-stabilizing systems in spite of distributed control". Communications of the ACM. 17 (11): 643–644. doi:10.1145/361179.361202. 자기안정화
2003년[5] Herlihy, M. (1991). "Wait-free synchronization". ACM Transactions on Programming Languages and Systems. 13 (1): 124–149. CiteSeerX 10.1.1.56.5659. doi:10.1145/114005.102808. 모리스 헬리히 공유 메모리 시스템에서의 해결 가능성 및 보편성
2004년[6] Gallager, R. G.; Humblet, P. A.; Spira, P. 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. 최소 스패닝 트리를 찾기 위한 분산 알고리즘
2005년[7] Pease, M.; Shostak, R.; Lamport, L. (April 1980). "Reaching Agreement in the Presence of Faults". Journal of the ACM. 27 (2): 228–234. CiteSeerX 10.1.1.68.4044. doi:10.1145/322186.322188. 비잔틴 협정
2006년[8] Mellor-Crummey, J. M.; Scott, M. L. (1991). "Algorithms for scalable synchronization on shared-memory multiprocessors". ACM Transactions on Computer Systems. 9 (1): 21–65. CiteSeerX 10.1.1.228.3461. doi:10.1145/103727.103729. "역대 가장 영향력 있는 실용적 상호 배제 알고리즘"
2007년[9] Dwork, C.; Lynch, N.; Stockmeyer, L. (1988). "Consensus in the presence of partial synchrony". Journal of the ACM. 35 (2): 288–323. CiteSeerX 10.1.1.13.3423. doi:10.1145/42282.42283. 부분적으로 동기화된 시스템에서의 합의 해결
2008년[10] Awerbuch, B.; Peleg, D. (1990). "Sparse partitions". Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science. pp. 503–513. doi:10.1109/FSCS.1990.89571. ISBN 978-0-8186-2082-9. 스파스 파티션
2009년[11] Halpern, J. Y.; Moses, Y. (1990). "Knowledge and Common Knowledge in a Distributed Environment". Journal of the ACM. 37 (3): 549–587. arXiv:cs/0006009. doi:10.1145/79147.79161. 분산 시스템에서의 지식 추론을 위한 공식 프레임워크
2010년[12] Chandra, T. D.; Toueg, S. (1996). "Unreliable Failure Detectors for Reliable Distributed Systems". Journal of the ACM. 43 (2): 225–267. CiteSeerX 10.1.1.113.498. doi:10.1145/226643.226647. hdl:1813/7192.
Chandra, T. D.; Hadzilacos, V.; Toueg, S. (1996). "The Weakest Failure Detector for Solving Consensus". Journal of the ACM. 43 (4): 685–722. CiteSeerX 10.1.1.55.8585. doi:10.1145/234533.234549. hdl:1813/6208. 		장애 검출기
2011년[13] Attiya, H.; Bar-Noy, A.; Dolev, D. (1995). "Sharing Memory Robustly in Message-Passing Systems". Journal of the ACM. 42 (1): 124–142. doi:10.1145/200836.200869. 장애가 발생하기 쉬운 메시지 전달 시스템에서의 공유 메모리 시뮬레이션
2012년[14] Herlihy, M.; Moss, J. E. B. (1993). "Transactional memory". ACM SIGARCH Computer Architecture News. 21 (2): 289–300. doi:10.1145/173682.165164.
Shavit, N.; Touitou, D. (1997). "Software transactional memory". Distributed Computing. 10 (2): 99–116. CiteSeerX 10.1.1.468.7173. doi:10.1007/s004460050028. 		트랜잭션 메모리
2013년[15] Linial, N. (1992). "Locality in Distributed Graph Algorithms". SIAM Journal on Computing. 21: 193–201. CiteSeerX 10.1.1.711.689. doi:10.1137/0221015. 분산 그래프 알고리즘의 인접성
2014년[16] Chandy, K. M.; Lamport, L. (1985). "Distributed snapshots: Determining global states of distributed systems". ACM Transactions on Computer Systems. 3: 63–75. CiteSeerX 10.1.1.69.2561. doi:10.1145/214451.214456. 시스템의 글로벌 상태를 일관성 있게 파악하기 위한 Chandy-Lamport 알고리즘
2015년[17] Ben-Or, M. (1983). "Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols". Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing - PODC '83. pp. 27–30. doi:10.1145/800221.806707. ISBN 978-0897911108.
Rabin, M. O. (1983). "Randomized byzantine generals". 24th Annual Symposium on Foundations of Computer Science (FOCS 1983). pp. 403–409. doi:10.1109/SFCS.1983.48. ISBN 978-0-8186-0508-6. 		폴트 톨러런스 랜덤화된 분산된 알고리즘
2016년[18] Alon, Noga; Babai, László; Itai, Alon (1986). "A fast and simple randomized parallel algorithm for the maximal independent set problem". Journal of Algorithms. 7 (4): 567. doi:10.1016/0196-6774(86)90019-2.
Luby, Michael (1986). "A Simple Parallel Algorithm for the Maximal Independent Set Problem". SIAM Journal on Computing. 15 (4): 1036–1053. CiteSeerX 10.1.1.225.5475. doi:10.1137/0215074. 		최대 독립 집합을 찾기 위한 알고리즘
2017년[19] Borowsky, Elizabeth; Gafni, Eli (1993). "Generalized FLP impossibility result for t-resilient asynchronous computations". P 25th Annual ACM Symposium on Theory of Computing. ACM. pp. 91–100. 일련의 프로세스를 조정된 방식으로 대규모 프로세스 세트를 시뮬레이션할 수 있는 BG 시뮬레이션 알고리즘
2018년[20] Alpern, Bowen; Schneider, Fred B. (1985). "Defining liveness". Information Processing Letters. 21 (4): 181–185. Live 속성의 정식 정의입니다.
2019년[21][22] Panconesi, A.; Srinivasan, A. (1997). "Randomized Distributed Edge Coloring via an Extension of the Chernoff-Hoeffding Bounds". SIAM Journal on Computing. 26 (2): 350–368. doi:10.1137/S0097539793250767. hdl:1813/6127. 분산 엣지 컬러링
2020년[23] Angluin, D.; Aspnes, J.; Diamadi, Z.; Fischer, M. J.; Peralta, R. (2006). "Computation in networks of passively mobile finite-state sensors". Distributed Computing. 18 (4): 235–253. doi:10.1007/s00446-005-0138-3. 모집단 프로토콜
2021 Kanellakis, Paris C.; Smolka, Scott A. (May 1990). "CCS expressions, finite state processes, and three problems of equivalence". Information and Computation. 86 (1): 43–68. doi:10.1016/0890-5401(90)90025-D.
2022 Michael, Maged M. (2002). Safe memory reclamation for dynamic lock-free objects using atomic reads and writes. ACM Symposium on Principles of Distributed Computing. pp. 21–30. doi:10.1007/3-540-36108-1_23.

Herlihy, Maurice; Luchangco, Victor; Moir, Mark (2002). The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. International Symposium on Distributed Computing. pp. 339–353. doi:10.1007/3-540-36108-1_23.

논블로킹 데이터 구조를 위한 메모리 회수

자금 조달

이 상은 ACM PODC와 EATCS DISC에 의해 조달되며, 각각 2,000달러의 상금으로 1,000달러의 동일한 몫을 제공합니다.

  • 그 PODC 점유율 ACM은 ACMSIG로부터 선물에 알고리즘에 계수 이론, ACM의 Communications 지SIG운영에(SIGOPS)인 AT&T법인은, 휴렛 패커드, 천공 카아드 회계 방식(IBM)공사, 인텔 Corporation,(SIGACT)기반으로 하는 기부금으로 충당된다.그리고.Sun Microsystems, Inc.
  • DISC 점유율은, EATCS의 기부금으로 조달되고 있습니다.EATCS의 기부금은, 수년간의 DISC 예산에 근거해 Microsoft Research, Universidad Ray Juan Carlos, 및 스페인 과학 혁신성의 기부에 근거하고 있습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Hendler, Danny (Jan 25, 2005). "Edsger W. Dijkstra Prize in Distributed Computing: Early call for paper nominations". Archived from the original on 2010-06-24.
    –"Call for Nominations: 2006 Edsger W. Dijkstra Prize in Distributed Computing – PODC Influential Paper Award". 25th Annual ACM SIGACT-SIGOPS Symposium on Principles Of Distributed Computing (PODC 2006) July 23-26, 2006, Denver, Colorado, USA.
    –Andrzej Pelc (ed.). Distributed Computing. 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. doi:10.1007/978-3-540-75142-7.
    –"Dijkstra Prize 2007". www2.cs.ucy.ac.cy.
  2. ^ "2000 PODC Influential Paper Award", ACM Symposium on Principles of Distributed Computing, retrieved 2020-09-10
  3. ^ "2001 PODC Influential Paper Award", ACM Symposium on Principles of Distributed Computing, retrieved 2020-09-10
  4. ^ "2002 PODC Influential Paper Award", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  5. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2003", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  6. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2004", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  7. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2005", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  8. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2006", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  9. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2007", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  10. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2008", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24
  11. ^ "2009 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  12. ^ "2010 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  13. ^ "2011 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  14. ^ "2012 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  15. ^ "2013 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  16. ^ "2014 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2020-09-19
  17. ^ "2015 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2020-09-19
  18. ^ "2016 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  19. ^ "2017 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  20. ^ "2018 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-30
  21. ^ "2019 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-09
  22. ^ "Prof. Alessandro Panconesi won Edsger W. Dijkstra Prize in Distributed Computing". Journal of Computer and System Sciences. Elsevier B.V.
  23. ^ "2020 Edsger W. Dijkstra Prize in Distributed Computing", ACM Symposium on Principles of Distributed Computing, retrieved 2019-09-09

외부 링크