William C. Carter Award
The William C. Carter Award is a technical award presented annually since 1997 to recognizing an individual who has made a significant contribution to the field of dependable and secure computing throughout his or her PhD dissertation. It is named after, and honors, the late William C. Carter, an important figure in the field. The award is sponsored by IEEE Technical Committee on Fault-Tolerant Computing and the IFIP Working Group on Dependable Computing and Fault Tolerance.
Past recipients
| Year | Recipient | Paper |
| 2022 | Minesh Patel | "Enabling Effective Error Mitigation in Memory Chips That Use On-Die Error-Correcting Codes" |
| 2021 | Victor van der Veen | "When Memory Serves Not So Well: Memory Errors 30 Years Later" |
| 2020 | Bo Fang | "Approaches for Building Error Resilient Applications" |
| 2019 | João Catarino de Sousa | "Byzantine state machine replication for the masses" |
| 2018 | Christoph Borchert | "Aspect-Oriented Technology for Dependable Operating Systems" |
| 2017 | Homa Alemzadeh | "Data-Driven Resiliency Assessment of Medical Cyber-Physical Systems" |
| 2016 | Sebastiano Peluso | "Efficient Protocols for Replicated Transactional Systems" |
| 2015 | Dmitrii Kuvaiskii | "Δ-encoding: Practical Encoded Processing" |
| 2014 | Cuong Pham | "Reliability and Security Monitoring of Virtual Machines Using Hardware Architectural Invariants" |
| 2013 | Suman Saha | "Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software" |
| 2012 | Collin Mulliner | "Taming Mr Hayes: Mitigating Signaling Based Attacks on Smartphones " |
| 2011 | Gabriela Jacques da Silva | "Modeling Stream Processing Applications for Dependability Evaluation" |
| 2010 | Basel Alomair | "Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification" |
| 2009 | José Fonseca | "Vulnerability & Attack Injection for Web Applications" |
| 2008 | Karthik Pattabiraman | "SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework" |
| 2007 | Jorrit N. Herder | "Failure Resilience for Device Drivers" |
| 2006 | Jonathan Chang | "Automatic Instruction-Level Software-Only Recovery Methods" |
| 2005 | Alper T. Mizrak | "Fatih: Detecting and Isolating Malicious Routers" |
| Mohan Rajagopalan | "Authenticated System Calls" | |
| 2004 | Alex X. Liu | "Diverse Firewall Design" |
| 2003 | João Durães | "Definition of Software Fault Emulation Operators: A Field Data Study" |
| 2002 | John DeVale | "Robust Software – No More Excuses" |
| 2001 | Martin Hiller | "An Approach for Analysing the Propagation of Data Errors in Software" |
| 2000 | Wei Chen | "On the Quality of Service of Failure Detectors" |
| 1999 | Wee Teck Ng | "The Systematic Improvement of Fault Tolerance in the Rio File Cache" |
| 1998 | Nuno Neves | "RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols" |
| 1997 | Bharat P. Dave | "COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance" |
| Christof Fetzer | "Fail-Awareness: An Approach to Construct Fail-Safe Applications" |