Nagroda Williama C. Cartera

Nagroda im. Williama C. Cartera to nagroda techniczna przyznawana corocznie od 1997 r. w uznaniu osoby, która wniosła znaczący wkład w dziedzinę niezawodnych i bezpiecznych komputerów w trakcie swojej rozprawy doktorskiej. Został nazwany na cześć zmarłego Williama C. Cartera, ważnej postaci w tej dziedzinie, i oddaje mu cześć. Nagroda jest sponsorowana przez Komitet Techniczny IEEE ds. Przetwarzania Odpornego na Błędy (TC-FTC) oraz Grupę Roboczą IFIP ds. Niezawodnych Przetwarzania i Odporności na Błędy (WG 10.4).

Byli odbiorcy

Rok	Odbiorca (Uniwersytet)	Papier
2019	João Catarino de Sousa ( Uniwersytet Lizboński )	„Replikacja bizantyńskiej maszyny państwowej dla mas”
2018	Christoph Borchert ( Technische Universität Dortmund )	„Technologia zorientowana na aspekty dla niezawodnych systemów operacyjnych”
2017	Homa Alemzadeh ( Uniwersytet Illinois w Urbana-Champaign )	„Oparta na danych ocena odporności medycznych systemów cyberfizycznych”
2016	Sebastiano Peluso ( Virginia Tech )	„Wydajne protokoły dla replikowanych systemów transakcyjnych”
2015	Dmitrij Kuvaiskii ( TU Dresden )	„Kodowanie Δ: praktyczne przetwarzanie kodowane”
2014	Cuong Pham ( Uniwersytet Illinois w Urbana Champaign )	„Monitorowanie niezawodności i bezpieczeństwa maszyn wirtualnych przy użyciu niezmienników architektury sprzętowej”
2013	Suman Saha ( Laboratoire d'Informatique de Paris 6 )	„Hector: wykrywanie błędów pomijania zwalniania zasobów w kodzie obsługi błędów dla oprogramowania systemowego”
2012	Collin Mulliner ( Technische Universität Berlin )	„Poskromienie pana Hayesa: łagodzenie ataków opartych na sygnalizacji na smartfony”
2011	Gabriela Jacques da Silva ( Uniwersytet Illinois w Urbana-Champaign )	„Aplikacje do przetwarzania strumieni modelowania w celu oceny niezawodności”
2010	Basel Alomair ( Uniwersytet Waszyngtoński w Seattle )	„Skalowalne systemy RFID: protokół chroniący prywatność z identyfikacją w stałym czasie”
2009	José Fonseca ( Uniwersytet w Coimbrze )	„Wstrzykiwanie luk w zabezpieczeniach i ataków dla aplikacji internetowych”
2008	Karthik Pattabiraman ( Uniwersytet Illinois w Urbana-Champaign )	„SymPLFIED: schemat wstrzykiwania błędów i wykrywania błędów na poziomie programu symbolicznego”
2007	Jorrit N. Herder ( Vrije Universiteit )	„Odporność na awarie sterowników urządzeń”
2006	Jonathan Chang ( Uniwersytet Princeton )	„Metody automatycznego odzyskiwania tylko na poziomie instrukcji”
2005	Alper T. Mizrak ( Uniwersytet Kalifornijski w San Diego )	„Fatih: Wykrywanie i izolowanie złośliwych routerów”
	Mohan Rajagopalan ( Uniwersytet Arizony )	„Uwierzytelnione wywołania systemowe”
2004	Alex X. Liu ( Uniwersytet Teksasu w Austin )	„Zróżnicowany projekt zapory sieciowej”
2003	João Durães ( Uniwersytet w Coimbrze )	„Definicja operatorów emulacji błędów oprogramowania: badanie danych terenowych”
2002	John DeVale ( Uniwersytet Carnegie Mellon )	„Solidne oprogramowanie – koniec z wymówkami”
2001	Martin Hiller ( Uniwersytet Chalmers )	„Podejście do analizy propagacji błędów danych w oprogramowaniu”
2000	Wei Chen ( Uniwersytet Cornell )	„O jakości obsługi detektorów awarii”
1999	Wee Teck Ng ( Uniwersytet Michigan )	„Systematyczne doskonalenie tolerancji błędów w pamięci podręcznej plików Rio”
1998	Nuno Neves ( Uniwersytet Illinois w Urbana-Champaign )	„RENEW: narzędzie do szybkiego i wydajnego wdrażania protokołów punktów kontrolnych”
1997	Bharat P. Dave ( Uniwersytet Princeton )	„COFTA: współsynteza sprzętowo-programowa heterogenicznych rozproszonych architektur systemów wbudowanych w celu zapewnienia niskiej tolerancji na błędy ogólne”
	Christof Fetzer ( Uniwersytet Kalifornijski w San Diego )	„Świadomość awarii: podejście do tworzenia aplikacji odpornych na awarie”

Zobacz też

• Lista nagród informatycznych