ЭВМHISTORY
Статьи. Обзоры. Истории
Премия Дейкстры (Edsger W. Dijkstra Prize in Distributed Computing) — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет. Сопровождается денежным вознаграждением размером в $2000.
Учредителями премии являются организации ACM и EATCS ( European Association of Theoretical Computer Science), а точнее комитеты симпозиумов ACM Symposium on Principles of Distributed Computing ( PODC) и EATCS International Symposium on Distributed Computing ( DISC). Премия Дейкстры вручается ежегодно с 2000 года поочерёдно на конференциях организаторов. Первые три года награда носила название Премия PODC за влиятельную публикацию (PODC Influential-Paper Award).
Лауреаты
- 2000 — Лэсли Лэмпорт (Leslie Lamport) за работу о логических часах
- 2001 — Майкл Джон Фишер, Нэнси Линч, Майкл С. Пэтерсон (Michael J. Fischer, Nancy Lynch, Michael S. Paterson) за доказательство невозможности прийти к консенсусу, используя асинхронную передачу информации
- 2002 — Эдсгер Вибе Дейкстра за работу, которая ввела понятие саморегулируемости
- 2003 — Морис Херлихи, (Maurice Herlihy) за работу о разрешимости задачи о консенсусе в системах с совместно используемой памятью
- 2004 — Роберт Галлагер, Пьер Хамблет, Филип Спира (Robert G. Gallager, Pierre A. Humblet, Philip M. Spira) за распределённый алгоритм нахождения минимального остовного дерева
- 2005 — Маршал Пиз, Роберт Шостак, Лэсли Лэмпорт (Marshal Pease, Robert Shostak, Leslie Lamport) за работу о Византийском соглашении
- 2006 — Джон Мелло-Крамми, Майкл Л. Скотт (John M. Mellor-Crummey), Michael L. Scott) за алгоритм взаимного исключения
- 2007 — Синтия Дворк, Нэнси Линч, Лэрри Стокмайер (Cynthia Dwork, Nancy Lynch, Larry Stockmeyer) за работу о решении задачи о консенсусе в частично синхронных системах
- 2008 — Барух Авербух, Дэвид Пелег (Baruch Awerbuch, David Peleg) за работу о sparse partitions
- 2009 — Джозеф Халперн, Йорам Мозес (Joseph Halpern, Yoram Moses) за создание формального фреймворка для анализа знаний в распределённых системах
- 2010 — Тушак Дипак Чандра, Сэм Тоэг (Tushar Deepak Chandra, Sam Toueg) за исследование ненадёжных детекторов ошибок в асинхронных системах
- 2011 — Хагит Аттия, Амотц Бар-Ной, Дэнни Долев (Hagit Attiya, Amotz Bar-Noy, Danny Dolev) за автоматическое преобразование алгоритмов, работающих с разделяемой памятью, в две различные модели обмена сообщениями
- 2012 — Морис Херлихи, Элиот Мосс, Нир Шавит, Дэн Тойту (Maurice Herlihy, J. Eliot B. Moss, Nir Shavit, Dan Touitou) за программную транзакционную память
- 2013 — Нати Линеал (Nati Linial) за исследования локальности в распределённых алгоритмах на графах
- 2014 — Каниантра Мани Чанди (Kanianthra Mani Chandy), Лесли Лэмпорт за алгоритм Чанди-Лэмпорта в области распределённых вычислений
- 2015 — Майкл Бен-Ор (Michael Ben-Or), Михаэль Ошер Рабин за исследование отказоустойчивых распределённых вероятностный алгоритмов
- 2016 — Нога Алон, Ласло Бабай (Laszlo Babai) за алгоритм нахождения наибольшего независимого множества
© greenmile
Источники:
Ru.Wikipedia.Org.
В начало
|