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

Премия Дейкстры (англ. Edsger W. Dijkstra Prize in Distributed Computing) — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет. Сопровождается денежным вознаграждением размером в $2000.

Учредителями премии являются организации ACM и EATCS (англ. European Association of Theoretical Computer Science), а точнее комитеты симпозиумов ACM Symposium on Principles of Distributed Computing^[en] (PODC) и EATCS International Symposium on Distributed Computing (DISC). Премия Дейкстры вручается ежегодно с 2000 года поочерёдно на конференциях организаторов. Первые три года награда носила название Премия PODC за влиятельную публикацию (англ. PODC Influential-Paper Award).

ЛауреатыПравить

• 2000 — Лесли Лэмпорт за работу о логических часах
• 2001 — Майкл Джон Фишер^[en], Нэнси Линч, Майкл С. Пэтерсон^[en] за доказательство невозможности прийти к консенсусу, используя асинхронную передачу информации
• 2002 — Эдсгер Вибе Дейкстра за работу, которая ввела понятие саморегулируемости
• 2003 — Морис Херлихи за работу о разрешимости задачи о консенсусе в системах с совместно используемой памятью
• 2004 — Роберт Галлагер, Пьер Хамблет, Филип Спира за распределённый алгоритм нахождения минимального остовного дерева
• 2005 — Маршал Пиз, Роберт Шостак, Лесли Лэмпорт за работу о Византийском соглашении
• 2006 — Джон Мелло-Крамми, Майкл Л. Скотт^[en] за алгоритм взаимного исключения
• 2007 — Синтия Дворк, Нэнси Линч, Лэрри Стокмайер^[en] за работу о решении задачи о консенсусе в частично синхронных системах
• 2008 — Барух Авербух^[en], Дэвид Пелег^[en] за работу о sparse partitions
• 2009 — Джозеф Халперн^[en], Йорам Мозес за создание формального фреймворка для анализа знаний в распределённых системах
• 2010 — Тушак Дипак Чандра, Сэм Тоэг за исследование ненадёжных детекторов ошибок в асинхронных системах
• 2011 — Хагит Аттия^[en], Амотц Бар-Ной, Дэнни Долев^[en] за автоматическое преобразование алгоритмов, работающих с разделяемой памятью, в две различные модели обмена сообщениями
• 2012 — Морис Херлихи, Элиот Мосс^[en], Нир Шавит, Дэн Тойту за программную транзакционную память
• 2013 — Нати Линеал^[en] за исследования локальности в распределённых алгоритмах на графах
• 2014 — Каниантра Мани Чанди^[en], Лесли Лэмпорт за алгоритм Чанди-Лэмпорта в области распределённых вычислений
• 2015 — Майкл Бен-Ор, Михаэль Ошер Рабин за исследование отказоустойчивых распределённых вероятностный алгоритмов
• 2016 — Нога Алон, Ласло Бабаи, Alon Itai, Michael Luby^[en] за алгоритм нахождения наибольшего независимого множества
• 2017 — Elizabeth Borowsky, Eli Gafni

См. такжеПравить

• Список премий в информатике

СсылкиПравить

• Edsger W. Dijkstra Prize in Distributed Computing Архивная копия от 12 октября 2019 на Wayback Machine на сайте EATCS (англ.)
• Edsger W. Dijkstra Prize in Distributed Computing Архивная копия от 9 октября 2011 на Wayback Machine на сайте симпозиума Symposium on Principles of Distributed Computing^[en] (англ.)
• Dijkstra Prize | International Symposium on DIStributed Computing (DISC) Архивная копия от 19 октября 2019 на Wayback Machine на сайте конференции International Symposium on Distributed Computing^[en] (англ.)
• https://web.archive.org/web/20080128211138/http://www.csin.ru/info/dijkstra-prize