Cena Williama C. Cartera - William C. Carter Award
The Cena Williama C. Cartera je technické ocenění udělované každoročně od roku 1997 za uznání jednotlivce, který během své disertační práce významně přispěl k oblasti spolehlivých a bezpečných výpočtů. Je pojmenována po zesnulém Williamovi C. Carterovi, který je důležitou osobností v oboru, a vyznamenáním. Ocenění sponzoruje Technický výbor IEEE pro chybově tolerované výpočty (TC-FTC) a pracovní skupina IFIP pro spolehlivé výpočty a toleranci chyb (WG 10.4).[1][2][3][4]
Minulí příjemci
| Rok | Příjemce (univerzita) | Papír |
|---|---|---|
| 2019 | João Catarino de Sousa (Univerzita v Lisabonu ) | „Byzantská státní strojová replikace pro masy“ |
| 2018 | Christoph Borchert (Technische Universität Dortmund ) | „Aspektově orientovaná technologie pro spolehlivé operační systémy“ |
| 2017 | Homa Alemzadeh (University of Illinois v Urbana-Champaign ) | „Posouzení odolnosti datově řízených lékařských kyberfyzikálních systémů“ |
| 2016 | Sebastiano Peluso (Virginia Tech ) | „Efektivní protokoly pro replikované transakční systémy“ |
| 2015 | Dmitrii Kuvaiskii (TU Drážďany ) | „Δ-kódování: Praktické kódované zpracování“ [5] |
| 2014 | Cuong Pham (University of Illinois v Urbana Champaign ) | „Sledování spolehlivosti a zabezpečení virtuálních strojů pomocí hardwarových architektonických invariants“ |
| 2013 | Suman Saha (Laboratoire d'Informatique de Paris 6 ) | „Hector: Detekce chyb vynechání uvolnění prostředků v kódu zpracování chyb pro systémový software“ |
| 2012 | Collin Mulliner (Technische Universität Berlin ) | „Zkrocení pana Hayese: zmírnění útoků na smartphony na základě signalizace“ |
| 2011 | Gabriela Jacques da Silva (University of Illinois v Urbana-Champaign ) | „Modelování aplikací pro zpracování proudu pro hodnocení spolehlivosti“ |
| 2010 | Basilej Alomair (University of Washington v Seattlu ) | „Škálovatelné systémy RFID: protokol chránící soukromí s identifikací v konstantním čase“ |
| 2009 | José Fonseca (University of Coimbra ) | „Vulnerability & Attack Injection for Web Applications“ |
| 2008 | Karthik Pattabiraman (University of Illinois v Urbana-Champaign ) | "SymPLFIED: Symbolické programování chyb na úrovni programu a rámec detekce chyb" |
| 2007 | Jorrit N. Herder (Vrije Universiteit ) | „Odolnost proti selhání pro ovladače zařízení“ |
| 2006 | Jonathan Chang (Univerzita Princeton ) | „Automatické způsoby obnovení pouze na úrovni softwaru“ |
| 2005 | Alper T. Mizrak (University of California, San Diego ) | „Fatih: Detekce a izolace škodlivých routerů“ |
| Mohan Rajagopalan (University of Arizona ) | „Ověřená systémová volání“ | |
| 2004 | Alex X. Liu (University of Texas v Austinu ) | „Různorodý design brány firewall“ |
| 2003 | João Durães (University of Coimbra ) | „Definice operátorů emulace softwarových chyb: Polní datová studie“ |
| 2002 | John DeVale (Univerzita Carnegie Mellon ) | „Robustní software - žádné další výmluvy“ |
| 2001 | Martin Hiller (Chalmers University ) | „Přístup k analýze šíření chyb dat v softwaru“ |
| 2000 | Wei Chen (Cornell University ) | „Ke kvalitě služeb detektorů poruch“ |
| 1999 | Wee Teck Ng (Michiganská univerzita ) | „Systematické zlepšování tolerance chyb v mezipaměti souborů Rio“ |
| 1998 | Nuno Neves (University of Illinois v Urbana-Champaign ) | „RENEW: Nástroj pro rychlou a efektivní implementaci protokolů kontrolních bodů“ |
| 1997 | Bharat P. Dave (Univerzita Princeton ) | „COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance“ |
| Christof Fetzer (Kalifornská univerzita v San Diegu ) | „Povědomí o selhání: Přístup ke konstrukci aplikací bezpečných proti selhání“ |
Viz také
Reference
- ^ Vývoj výpočetní techniky odolné proti chybám: Na počest Williama C. Cartera (spolehlivé výpočetní systémy a systémy odolné proti chybám).[1]
- ^ Cena Williama C. Cartera
- ^ IEEE Technical Committee on Fault-Tolerant Computing (TC-FTC)
- ^ Pracovní skupina IFIP pro spolehlivé výpočty a odolnost proti chybám (WG 10.4).[2]
- ^ Carter Award DSN2015