Премия Уильяма К. Картера - William C. Carter Award
В Премия Уильяма К. Картера - это техническая награда, ежегодно присуждаемая с 1997 года для признания человека, внесшего значительный вклад в область надежных и безопасных вычислений на протяжении его или ее докторской диссертации. Он назван в честь покойного Уильяма К. Картера, важного деятеля в этой области. Премия спонсируется Техническим комитетом IEEE по отказоустойчивым вычислениям (TC-FTC) и Рабочей группой IFIP по надежным вычислениям и отказоустойчивости (WG 10.4).[1][2][3][4]
Предыдущие получатели
| Год | Получатель (университет) | Бумага |
|---|---|---|
| 2019 | Жуан Катарино де Соуза (Лиссабонский университет ) | «Византийская государственная машина репликации для масс» |
| 2018 | Кристоф Борхерт (Technische Universität Dortmund ) | «Аспектно-ориентированная технология для надежных операционных систем» |
| 2017 | Хома Алемзаде (Иллинойсский университет в Урбана-Шампейн ) | «Оценка отказоустойчивости медицинских киберфизических систем на основе данных» |
| 2016 | Себастьяно Пелузо (Технологический институт Вирджинии ) | «Эффективные протоколы для реплицированных транзакционных систем» |
| 2015 | Дмитрий Кувайский (TU Dresden ) | «Δ-кодирование: практическая обработка с кодированием» [5] |
| 2014 | Куонг Фам (Университет Иллинойса в Урбана Шампейн ) | «Мониторинг надежности и безопасности виртуальных машин с использованием архитектурных инвариантов оборудования» |
| 2013 | Суман Саха (Лаборатория информатики Парижа, 6 ) | "Hector: обнаружение ошибок, связанных с пропуском ресурсов в коде обработки ошибок для системного программного обеспечения" |
| 2012 | Коллин Муллинер (Technische Universität Berlin ) | «Укрощение мистера Хейса: снижение уровня атак на смартфоны с использованием сигналов» |
| 2011 | Габриэла Жак да Силва (Иллинойсский университет в Урбана-Шампейн ) | «Моделирование приложений потоковой обработки для оценки надежности» |
| 2010 | Базель Аломайр (Вашингтонский университет в Сиэтле ) | «Масштабируемые системы RFID: протокол сохранения конфиденциальности с постоянной идентификацией» |
| 2009 | Хосе Фонсека (Коимбрский университет ) | «Уязвимость и внедрение атак для веб-приложений» |
| 2008 | Картик Паттабираман (Иллинойсский университет в Урбана-Шампейн ) | «SymPLFIED: символьная система ввода ошибок и обнаружения ошибок на уровне программы» |
| 2007 | Йоррит Н. Гердер (Vrije Universiteit ) | «Устойчивость к отказам драйверов устройств» |
| 2006 | Джонатан Чанг (Университет Принстона ) | "Автоматические методы восстановления только на уровне инструкций" |
| 2005 | Альпер Т. Мизрак (Калифорнийский университет в Сан-Диего ) | «Фатих: обнаружение и изоляция вредоносных маршрутизаторов» |
| Мохан Раджагопалан (Университет Аризоны ) | «Аутентифицированные системные вызовы» | |
| 2004 | Алекс X. Лю (Техасский университет в Остине ) | «Разнообразный дизайн межсетевого экрана» |
| 2003 | Жоао Дурайнш (Коимбрский университет ) | «Определение операторов программной эмуляции ошибок: исследование полевых данных» |
| 2002 | Джон ДеВэйл (Университет Карнеги Меллон ) | «Надежное программное обеспечение - больше никаких оправданий» |
| 2001 | Мартин Хиллер (Университет Чалмерса ) | «Подход к анализу распространения ошибок данных в программном обеспечении» |
| 2000 | Вэй Чен (Корнелл Университет ) | «О качестве обслуживания датчиков неисправностей» |
| 1999 | Ви Тек Нг (университет Мичигана ) | «Систематическое улучшение отказоустойчивости файлового кэша Rio» |
| 1998 | Нуно Невес (Иллинойсский университет в Урбана-Шампейн ) | «RENEW: инструмент для быстрого и эффективного внедрения протоколов контрольных точек» |
| 1997 | Бхарат П. Дэйв (Университет Принстона ) | "COFTA: Аппаратно-программный совместный синтез гетерогенных распределенных встроенных системных архитектур для обеспечения отказоустойчивости с низкими накладными расходами" |
| Кристоф Фетцер (Калифорнийский университет в Сан-Диего ) | «Осведомленность о сбоях: подход к созданию отказоустойчивых приложений» |
Смотрите также
Рекомендации
- ^ Эволюция отказоустойчивых вычислений: в честь Уильяма К. Картера (Надежные вычисления и отказоустойчивые системы).[1]
- ^ Премия Уильяма К. Картера
- ^ Технический комитет IEEE по отказоустойчивым вычислениям (TC-FTC)
- ^ Рабочая группа IFIP по надежным вычислениям и отказоустойчивости (WG 10.4).[2]
- ^ Премия Картера DSN2015