Премия Эдсгера В. Дейкстры в области распределенных вычислений присуждается за выдающиеся работы по принципам распределенных вычислений , значение и влияние которых на теорию и / или практику распределенных вычислений было очевидным уже не менее десяти лет. Бумажная премия вручается ежегодно с 2000 года.
Первоначально бумажная премия была вручена на симпозиуме ACM по принципам распределенных вычислений (PODC) и была известна как PODC Influential-Paper Award . Он был переименован в честь Эдсгера В. Дейкстры в 2003 году, после того как он получил награду за свою работу по самостабилизации в 2002 году и вскоре умер.
С 2007 года [1] премия за публикацию статей спонсируется совместно PODC и Международным симпозиумом EATCS по распределенным вычислениям (DISC), и презентация проходит попеременно на PODC (четные годы) и DISC (нечетные годы). Бумажный приз включает награду в размере 2000 долларов США.
Победители
Год | Бумага | Тема |
---|---|---|
2000 [2] | Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации ACM . 21 (7): 558–565. DOI : 10.1145 / 359545.359563 . | логические часы |
2001 [3] | Фишер, MJ ; Линч, штат Северная Каролина ; Патерсон, М.С. (1985). «Невозможность распределенного консенсуса с одним ошибочным процессом» (PDF) . Журнал ACM . 32 (2): 374–382. DOI : 10.1145 / 3149.214121 . Архивировано из оригинального (PDF) 05.07.2007. | Доказательство невозможности консенсуса с помощью асинхронной коммуникации |
2002 [4] | Дейкстра, EW (ноябрь 1974 г.). «Самостабилизирующиеся системы, несмотря на распределенное управление». Коммуникации ACM . 17 (11): 643–644. DOI : 10.1145 / 361179.361202 . | Самостабилизация |
2003 [5] | Херлихи, М. (1991). «Синхронизация без ожидания». Транзакции ACM по языкам и системам программирования . 13 (1): 124–149. CiteSeerX 10.1.1.56.5659 . DOI : 10.1145 / 114005.102808 . Морис Херлихи | Разрешимость и универсальность консенсуса в системах с общей памятью |
2004 [6] | Галлагер, Р.Г .; Хамблет, Пенсильвания; Спира, PM (1983). «Распределенный алгоритм для минимально-весовых остовных деревьев». Транзакции ACM по языкам и системам программирования . 5 (1): 66–77. DOI : 10.1145 / 357195.357200 . | Распределенный алгоритм поиска минимального остовного дерева |
2005 [7] | Пиз, М .; Шостак, Р .; Лэмпорт, Л. (апрель 1980 г.). «Достижение соглашения при наличии недостатков». Журнал ACM . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . DOI : 10.1145 / 322186.322188 . | Византийское соглашение |
2006 [8] | Меллор-Крамми, JM; Скотт, ML (1991). «Алгоритмы масштабируемой синхронизации на мультипроцессорах с общей памятью». ACM-транзакции в компьютерных системах . 9 (1): 21–65. CiteSeerX 10.1.1.228.3461 . DOI : 10.1145 / 103727.103729 . | "вероятно, самый влиятельный практический алгоритм взаимного исключения всех времен" |
2007 [9] | Дворк, К .; Линч, Н .; Стокмейер, Л. (1988). «Консенсус при частичной синхронности». Журнал ACM . 35 (2): 288–323. CiteSeerX 10.1.1.13.3423 . DOI : 10.1145 / 42282.42283 . | Решение консенсуса в частично синхронных системах |
2008 [10] | Awerbuch, B .; Пелег, Д. (1990). «Редкие перегородки». Труды [1990] 31-й ежегодный симпозиум по основам информатики . С. 503–513. DOI : 10.1109 / FSCS.1990.89571 . ISBN 978-0-8186-2082-9. | Редкие перегородки |
2009 [11] | Халперн, JY ; Моисей, Ю. (1990). «Знания и общие знания в распределенной среде». Журнал ACM . 37 (3): 549–587. arXiv : cs / 0006009 . DOI : 10.1145 / 79147.79161 . | Формальная основа для рассуждений о знаниях в распределенных системах |
2010 [12] | Чандра, Т. Д.; Туег, С. (1996). «Детекторы ненадежных отказов для надежных распределенных систем». Журнал ACM . 43 (2): 225–267. CiteSeerX 10.1.1.113.498 . DOI : 10.1145 / 226643.226647 . hdl : 1813/7192 . Чандра, Т. Д.; Hadzilacos, V .; Туег, С. (1996). «Самый слабый детектор неудач для достижения консенсуса». Журнал ACM . 43 (4): 685–722. CiteSeerX 10.1.1.55.8585 . DOI : 10.1145 / 234533.234549 . ЛВП : 1813/6208 . | Детекторы отказов |
2011 [13] | Аттия, Х .; Бар-Ной, А .; Долев, Д. (1995). «Совместное использование памяти в системах передачи сообщений». Журнал ACM . 42 (1): 124–142. DOI : 10.1145 / 200836.200869 . | Моделирование разделяемой памяти в подверженных сбоям системах передачи сообщений |
2012 [14] | Херлихи, М .; Мосс, JEB (1993). «Транзакционная память». Новости компьютерной архитектуры ACM SIGARCH . 21 (2): 289–300. DOI : 10.1145 / 173682.165164 . Шавит, Н .; Тоуиту, Д. (1997). «Программная транзакционная память». Распределенные вычисления . 10 (2): 99–116. CiteSeerX 10.1.1.468.7173 . DOI : 10.1007 / s004460050028 . | Транзакционная память |
2013 [15] | Линиал, Н. (1992). «Локальность в алгоритмах распределенных графов». SIAM Journal on Computing . 21 : 193–201. CiteSeerX 10.1.1.711.689 . DOI : 10.1137 / 0221015 . | Локальность в алгоритмах распределенного графа |
2014 [16] | Чанди, км ; Лэмпорт, Л. (1985). «Распределенные снимки: определение глобального состояния распределенных систем». ACM-транзакции в компьютерных системах . 3 : 63–75. CiteSeerX 10.1.1.69.2561 . DOI : 10.1145 / 214451.214456 . | Алгоритм Чанди-Лампорт получить непротиворечивую картину глобального состояния системы |
2015 [17] | Бен-Ор, М. (1983). «Еще одно преимущество свободного выбора: полностью асинхронные протоколы соглашений». Материалы второго ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '83 . С. 27–30. DOI : 10.1145 / 800221.806707 . ISBN 978-0897911108. Рабин, МО (1983). «Рандомизированные византийские генералы». 24-й ежегодный симпозиум по основам информатики (FOCS 1983) . С. 403–409. DOI : 10.1109 / SFCS.1983.48 . ISBN 978-0-8186-0508-6. | Отказоустойчивые рандомизированные распределенные алгоритмы |
2016 [18] | Алон, Нога ; Бабай, Ласло ; Итаи, Алон (1986). «Быстрый и простой рандомизированный параллельный алгоритм для задачи максимального независимого множества». Журнал алгоритмов . 7 (4): 567. DOI : 10.1016 / 0196-6774 (86) 90019-2 . Луби, Майкл (1986). «Простой параллельный алгоритм для задачи о максимальном независимом множестве». SIAM Journal on Computing . 15 (4): 1036–1053. CiteSeerX 10.1.1.225.5475 . DOI : 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 Journal on Computing . 26 (2): 350–368. DOI : 10.1137 / S0097539793250767 . hdl : 1813/6127 . | Распределенная окраска краев |
2020 [23] | Angluin, D .; Aspnes, J .; Diamadi, Z .; Фишер, MJ ; Перальта, Р. (2006). «Вычисления в сетях пассивно мобильных конечных датчиков». Распределенные вычисления . 18 (4): 235–253. DOI : 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 , Университета Рей Хуана Карлоса и Министерства науки и инноваций Испании.
Смотрите также
- Список важных публикаций по параллельным, параллельным и распределенным вычислениям
- Список компьютерных наград
- Список наград в области информатики
Рекомендации
- ^ Хендлер, Дэнни (25 января 2005 г.). «Премия Эдсгера В. Дейкстры в области распределенных вычислений: предварительный прием заявок на участие в работе» . Архивировано из оригинала на 2010-06-24.
- «Объявление о номинациях: премия Эдсжера В. Дейкстры 2006 года в области распределенных вычислений - PODC Influential Paper Award». 25-й ежегодный симпозиум ACM SIGACT-SIGOPS по принципам распределенных вычислений (PODC 2006) 23–26 июля 2006 г., Денвер, Колорадо, США.
- Анджей Пельц (ред.). Распределенные вычисления . 21-й Международный симпозиум, DISC 2007, Лемесос, Кипр, 24-26 сентября 2007 г. doi : 10.1007 / 978-3-540-75142-7 .
- «Премия Дейкстры 2007» . www2.cs.ucy.ac.cy . - ^ "2000 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 10 сентября 2020 г.
- ^ "2001 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 10 сентября 2020 г.
- ^ "2002 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2003" , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений: 2004» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений: 2006» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2007" , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2008" , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2009 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2010 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2011 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсгера В. Дейкстры 2012 г. в области распределенных вычислений» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2013 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2014 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 19 сентября 2020 г.
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2015 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 19 сентября 2020 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2016 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений , 2017 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2018 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
- ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2019 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 9 сентября 2019 г.
- ^ «Проф. Алессандро Панконези получил премию Эдсгера В. Дейкстры в области распределенных вычислений» . Журнал компьютерных и системных наук . Elsevier BV
- ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2020 года» , Симпозиум ACM по принципам распределенных вычислений , получено 9 сентября 2019 г.
Внешние ссылки
- Веб-сайт EATCS : Награды: Премия Дейкстры .
- Веб-сайт PODC : Премия Эдсжера В. Дейкстры в области распределенных вычислений .
- Веб-сайт DISC : Премия Эдсгера В. Дейкстры в области распределенных вычислений .
- Алгоритмы зала славы: Рутгер Дейкстра получает портрет своего отца Эдсгера Дейкстры .
- Электронные книги MPG о Дейкстре .