Премия Дейкстры - Dijkstra Prize

В Премия Эдсгера В. Дейкстры в области распределенных вычислений выдается за выдающиеся работы по принципам распределенных вычислений, чье значение и влияние на теорию и / или практику распределенных вычислений было очевидно уже не менее десяти лет. Бумажная премия вручается ежегодно с 2000 года.

Первоначально бумажная премия была вручена на ACM Симпозиум по принципам распределенных вычислений (PODC), и он был известен как Премия PODC Influential-Paper. Его переименовали в честь Эдсгер В. Дейкстра в 2003 году, после того как он получил награду за свою работу в самостабилизация в 2002 году и вскоре умер.

С 2007 г.[1] бумажный приз спонсируется совместно PODC и EATCS Международный симпозиум по распределенным вычислениям (DISC), а презентация проходит поочередно на PODC (четные годы) и DISC (нечетные годы). Бумажный приз включает награду в размере 2000 долларов.

Победители

ГодБумагаТема
2000[2]Лампорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF). Коммуникации ACM . 21 (7): 558–565. Дои:10.1145/359545.359563.логические часы
2001[3]Фишер, М. Дж.; Линч, Н.А.; Патерсон, М.С. (1985). «Невозможность распределенного консенсуса с одним ошибочным процессом» (PDF). Журнал ACM. 32 (2): 374–382. Дои:10.1145/3149.214121. Архивировано из оригинал (PDF) на 2007-07-05.Доказывая невозможность консенсус с помощью асинхронная связь
2002[4]Дейкстра, Э. В. (Ноябрь 1974 г.). «Самостабилизирующиеся системы, несмотря на распределенное управление». Коммуникации ACM. 17 (11): 643–644. Дои:10.1145/361179.361202.Самостабилизация
2003[5]Херлихи, М. (1991). «Без ожидания синхронизации». Транзакции ACM по языкам и системам программирования. 13 (1): 124–149. CiteSeerX  10.1.1.56.5659. Дои:10.1145/114005.102808. Морис ХерлихиРазрешимость и универсальность консенсус в Общая память системы
2004[6]Галлагер, Р. Г.; Humblet, P.A .; Спира, П. М. (1983). «Распределенный алгоритм для минимально-весовых остовных деревьев». Транзакции ACM по языкам и системам программирования. 5 (1): 66–77. Дои:10.1145/357195.357200.Распределенный алгоритм поиска минимальное остовное дерево
2005[7]Пиз, М.; Шостак, Р.; Лампорт, Л. (Апрель 1980 г.). «Достижение соглашения при наличии недостатков». Журнал ACM. 27 (2): 228–234. CiteSeerX  10.1.1.68.4044. Дои:10.1145/322186.322188.Византийское соглашение
2006[8]Mellor-Crummey, J.M .; Скотт, М.Л. (1991). «Алгоритмы масштабируемой синхронизации на мультипроцессорах с общей памятью». ACM-транзакции в компьютерных системах. 9 (1): 21–65. CiteSeerX  10.1.1.228.3461. Дои:10.1145/103727.103729."вероятно, самый влиятельный практический взаимное исключение алгоритм на все времена "
2007[9]Дворк, К.; Линч, Н.; Штокмейер, Л. (1988). «Консенсус при частичной синхронности». Журнал ACM. 35 (2): 288–323. CiteSeerX  10.1.1.13.3423. Дои:10.1145/42282.42283.Решение консенсус в частично синхронных системах
2008[10]Авербух, Б.; Пелег, Д. (1990). «Редкие перегородки». Труды [1990] 31-й ежегодный симпозиум по основам компьютерных наук. С. 503–513. Дои:10.1109 / FSCS.1990.89571. ISBN  978-0-8186-2082-9.Редкие перегородки
2009[11]Халперн, Дж. Я.; Моисей, Ю. (1990). «Знания и общие знания в распределенной среде». Журнал ACM. 37 (3): 549–587. arXiv:cs / 0006009. Дои:10.1145/79147.79161.Формальная основа для рассуждений о знаниях в распределенных системах
2010[12]Chandra, T. D .; Туег, С. (1996). «Детекторы ненадежных отказов для надежных распределенных систем». Журнал ACM. 43 (2): 225–267. CiteSeerX  10.1.1.113.498. Дои:10.1145/226643.226647. HDL:1813/7192.
Chandra, T. D .; Hadzilacos, V .; Туег, С. (1996). «Самый слабый детектор неудач для достижения консенсуса». Журнал ACM. 43 (4): 685–722. CiteSeerX  10.1.1.55.8585. Дои:10.1145/234533.234549. HDL:1813/6208.		Детекторы отказов
2011[13]Аттия, Х.; Бар-Ной, А .; Долев, Д. (1995). «Совместное использование памяти в системах передачи сообщений». Журнал ACM. 42 (1): 124–142. Дои:10.1145/200836.200869.Моделирование разделяемой памяти в подверженных сбоям системах передачи сообщений
2012[14]Херлихи, М.; Мосс, Дж. Э. Б. (1993). «Транзакционная память». Новости компьютерной архитектуры ACM SIGARCH. 21 (2): 289–300. Дои:10.1145/173682.165164.
Шавит, Н.; Тоуиту, Д. (1997). «Программная транзакционная память». Распределенных вычислений. 10 (2): 99–116. CiteSeerX  10.1.1.468.7173. Дои:10.1007 / s004460050028.		Транзакционная память
2013[15]Линиал, Н. (1992). «Локальность в алгоритмах распределенных графов». SIAM Журнал по вычислениям. 21: 193–201. CiteSeerX  10.1.1.711.689. Дои:10.1137/0221015.Локальность в алгоритмах распределенного графа
2014[16]Чанди, К.М.; Лампорт, Л. (1985). «Распределенные снимки: определение глобального состояния распределенных систем». ACM-транзакции в компьютерных системах. 3: 63–75. CiteSeerX  10.1.1.69.2561. Дои:10.1145/214451.214456.В Алгоритм Чанди-Лэмпорта получить непротиворечивую картину глобального состояния системы
2015[17]Бен-Ор, М. (1983). «Еще одно преимущество свободного выбора: полностью асинхронные протоколы соглашения». Материалы второго ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '83. С. 27–30. Дои:10.1145/800221.806707. ISBN  978-0897911108.
Рабин, М.О. (1983). «Рандомизированные византийские генералы». 24-й ежегодный симпозиум по основам компьютерных наук (FOCS 1983). С. 403–409. Дои:10.1109 / SFCS.1983.48. ISBN  978-0-8186-0508-6.		Отказоустойчивой рандомизированный распределен алгоритмы
2016[18]Алон, Нога; Бабай, Ласло; Итаи, Алон (1986). «Быстрый и простой рандомизированный параллельный алгоритм для задачи максимального независимого множества». Журнал алгоритмов. 7 (4): 567. Дои:10.1016/0196-6774(86)90019-2.
Луби, Майкл (1986). «Простой параллельный алгоритм для задачи о максимальном независимом множестве». SIAM Журнал по вычислениям. 15 (4): 1036–1053. CiteSeerX  10.1.1.225.5475. Дои:10.1137/0215074.		Алгоритмы поиска максимальное независимое множество
2017[19]Боровски, Елизавета; Гафни, Эли (1993). «Обобщенный результат невозможности FLP для t-устойчивых асинхронных вычислений». P 25-й ежегодный симпозиум ACM по теории вычислений. ACM. С. 91–100.Алгоритм моделирования BG, который позволяет набору процессов скоординированно моделировать более широкий набор процессов.
2018[20]Альперн, Боуэн; Шнайдер, Фред Б. (1985). «Определяя живость». Письма об обработке информации. 21 (4): 181–185.Формальное определение свойства живучести.
2019[21][22]Панконези, А.; Сринивасан, А. (1997). «Рандомизированная распределенная раскраска краев посредством расширения границ Чернова-Хёффдинга». SIAM Журнал по вычислениям. 26 (2): 350–368. Дои:10.1137 / S0097539793250767. HDL:1813/6127.Распространено окраска края
2020[23]Англюин, Д.; Аспнес, Дж.; Диамади, З.; Фишер, М. Дж.; Перальта, Р. (2006). «Вычисления в сетях пассивно мобильных конечных датчиков». Распределенных вычислений. 18 (4): 235–253. Дои:10.1007 / s00446-005-0138-3.

Финансирование

Премия финансируется ACM PODC и EATCS DISC, каждая из которых предоставляет равную долю в размере 1000 долларов США по отношению к 2000 долларам премии.

  • Доля PODC финансируется за счет пожертвований ACM, основанных на подарках от Специальной группы по интересам ACM по алгоритмам и теории вычислений (SIGACT), Специальной группы по интересам ACM по операционным системам (SIGOPS), корпорации AT&T, Hewlett-Packard Company, International Business Machines (IBM) Corporation, Intel Corporation и Sun Microsystems, Inc.
  • Доля DISC финансируется за счет пожертвований в EATCS, которые основаны на взносах из бюджетов DISC за несколько лет и подарках от Microsoft Research, то Universidad Rey Juan Carlos и Министерство науки и инноваций Испании.

Смотрите также

Рекомендации

  1. ^ Хендлер, Дэнни (25 января 2005 г.). «Премия Эдсгера В. Дейкстры в области распределенных вычислений: предварительный прием заявок на участие в научных работах». Архивировано из оригинал на 24.06.2010.
    –«Объявление о номинациях: премия Эдсжера В. Дейкстры 2006 года в области распределенных вычислений - PODC Influential Paper Award». 25-й ежегодный симпозиум ACM SIGACT-SIGOPS по принципам распределенных вычислений (PODC 2006) 23-26 июля 2006 г., Денвер, Колорадо, США.
    –Анджей Пельц (ред.). Распределенных вычислений. 21-й Международный симпозиум, DISC 2007, Лемесос, Кипр, 24-26 сентября 2007 г. Дои:10.1007/978-3-540-75142-7.
    –"Премия Дейкстры 2007". www2.cs.ucy.ac.cy.
  2. ^ "Награда PODC Influential Paper 2000", Симпозиум ACM по принципам распределенных вычислений, получено 2020-09-10
  3. ^ «Премия PODC« Влиятельная газета »2001 года», Симпозиум ACM по принципам распределенных вычислений, получено 2020-09-10
  4. ^ "Премия PODC Influential Paper 2002", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  5. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2003", Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  6. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2004", Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  7. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005", Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  8. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2006 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  9. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2007», Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  10. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2008", Симпозиум ACM по принципам распределенных вычислений, получено 2009-08-24
  11. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2009 г.», Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  12. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений 2010 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  13. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений 2011 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  14. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений, 2012 г.», Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  15. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений 2013 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  16. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2014 года», Симпозиум ACM по принципам распределенных вычислений, получено 2020-09-19
  17. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2015 года», Симпозиум ACM по принципам распределенных вычислений, получено 2020-09-19
  18. ^ "Премия Эдсжера В. Дейкстры в области распределенных вычислений 2016 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  19. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений, 2017 г.», Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  20. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2018 г.», Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-30
  21. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений 2019 г.", Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-09
  22. ^ «Проф. Алессандро Панконези получил премию Эдсгера В. Дейкстры в области распределенных вычислений». Журнал компьютерных и системных наук. Elsevier B.V.
  23. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2020 года», Симпозиум ACM по принципам распределенных вычислений, получено 2019-09-09

внешняя ссылка