Русская Википедия:Премия Дейкстры
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Премия Дейкстры (Шаблон:Lang-en) — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет. Сопровождается денежным вознаграждением размером в $2000.[1]
Учредителями премии являются организации ACM и EATCS (Шаблон:Lang-en), а точнее комитеты симпозиумов Шаблон:Нп5 (PODC) и EATCS International Symposium on Distributed Computing (DISC). Премия Дейкстры вручается ежегодно с 2000 года поочерёдно на конференциях организаторов. Первые три года награда носила название Премия PODC за влиятельную публикацию (Шаблон:Lang-en).[2]
Лауреаты
- 2000 — Лесли Лэмпорт за работу о логических часах
- 2001 — Шаблон:Нп5, Нэнси Линч, Шаблон:Нп5 за доказательство невозможности прийти к консенсусу, используя асинхронную передачу информации
- 2002 — Эдсгер Вибе Дейкстра за работу, которая ввела понятие саморегулируемости
- 2003 — Морис Херлихи за работу о разрешимости задачи о консенсусе в системах с совместно используемой памятью
- 2004 — Роберт Галлагер, Пьер Хамблет, Филип Спира за распределённый алгоритм нахождения минимального остовного дерева
- 2005 — Маршал Пиз, Роберт Шостак, Лесли Лэмпорт за работу о Византийском соглашении
- 2006 — Джон Мелло-Крамми, Шаблон:Нп5 за алгоритм взаимного исключения
- 2007 — Синтия Дворк, Нэнси Линч, Шаблон:Нп5 за работу о решении задачи о консенсусе в частично синхронных системах
- 2008 — Шаблон:Нп5, Шаблон:Нп5 за работу о sparse partitions
- 2009 — Шаблон:Нп5, Йорам Мозес за создание формального фреймворка для анализа знаний в распределённых системах
- 2010 — Тушак Дипак Чандра, Сэм Тоэг за исследование ненадёжных детекторов ошибок в асинхронных системах
- 2011 — Шаблон:Нп5, Амотц Бар-Ной, Шаблон:Нп5 за автоматическое преобразование алгоритмов, работающих с разделяемой памятью, в две различные модели обмена сообщениями
- 2012 — Морис Херлихи, Шаблон:Нп5, Нир Шавит, Дэн Тойту за программную транзакционную память
- 2013 — Шаблон:Нп5 за исследования локальности в распределённых алгоритмах на графах
- 2014 — Шаблон:Нп5, Лесли Лэмпорт за алгоритм Чанди-Лэмпорта в области распределённых вычислений
- 2015 — Майкл Бен-Ор, Михаэль Ошер Рабин за исследование отказоустойчивых распределённых вероятностный алгоритмов
- 2016 — Нога Алон, Ласло Бабаи, Alon Itai, Шаблон:Нп5 за алгоритм нахождения наибольшего независимого множества
- 2017 — Elizabeth Borowsky, Eli Gafni
См. также
Примечания
Ссылки
- Edsger W. Dijkstra Prize in Distributed Computing Шаблон:Wayback на сайте EATCSШаблон:Ref-en
- Edsger W. Dijkstra Prize in Distributed Computing Шаблон:Wayback на сайте симпозиума Шаблон:IwШаблон:Ref-en
- Dijkstra Prize | International Symposium on DIStributed Computing (DISC) Шаблон:Wayback на сайте конференции Шаблон:IwШаблон:Ref-en
- https://web.archive.org/web/20080128211138/http://www.csin.ru/info/dijkstra-prize