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.[1] 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 (TC-FTC) and the IFIP Working Group on Dependable Computing and Fault Tolerance (WG 10.4).[2][3][4][5]
Past recipients
[edit]| Year | Recipient (University) | Paper |
|---|---|---|
| 2022 | Minesh Patel (ETH Zurich) | "Enabling Effective Error Mitigation in Memory Chips That Use On-Die Error-Correcting Codes" |
| 2021 | Victor van der Veen (Vrije Universiteit Amsterdam) | "When Memory Serves Not So Well: Memory Errors 30 Years Later" |
| 2020 | Bo Fang (University of British Columbia) | "Approaches for Building Error Resilient Applications" |
| 2019 | João Catarino de Sousa (University of Lisbon) | "Byzantine state machine replication for the masses" |
| 2018 | Christoph Borchert (Technische Universität Dortmund) | "Aspect-Oriented Technology for Dependable Operating Systems" |
| 2017 | Homa Alemzadeh (University of Illinois at Urbana-Champaign) | "Data-Driven Resiliency Assessment of Medical Cyber-Physical Systems" |
| 2016 | Sebastiano Peluso (Virginia Tech) | "Efficient Protocols for Replicated Transactional Systems" |
| 2015 | Dmitrii Kuvaiskii (TU Dresden) | "Δ-encoding: Practical Encoded Processing" [6] |
| 2014 | Cuong Pham (University of Illinois at Urbana Champaign) | "Reliability and Security Monitoring of Virtual Machines Using Hardware Architectural Invariants" |
| 2013 | Suman Saha (Laboratoire d'Informatique de Paris 6) | "Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software" |
| 2012 | Collin Mulliner (Technische Universität Berlin) | "Taming Mr Hayes: Mitigating Signaling Based Attacks on Smartphones " |
| 2011 | Gabriela Jacques da Silva (University of Illinois at Urbana-Champaign) | "Modeling Stream Processing Applications for Dependability Evaluation" |
| 2010 | Basel Alomair (University of Washington at Seattle) | "Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification" |
| 2009 | José Fonseca (University of Coimbra) | "Vulnerability & Attack Injection for Web Applications" |
| 2008 | Karthik Pattabiraman (University of Illinois at Urbana-Champaign) | "SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework" |
| 2007 | Jorrit N. Herder (Vrije Universiteit) | "Failure Resilience for Device Drivers" |
| 2006 | Jonathan Chang (Princeton University) | "Automatic Instruction-Level Software-Only Recovery Methods" |
| 2005 | Alper T. Mizrak (University of California, San Diego) | "Fatih: Detecting and Isolating Malicious Routers" |
| Mohan Rajagopalan (University of Arizona) | "Authenticated System Calls" | |
| 2004 | Alex X. Liu (University of Texas at Austin) | "Diverse Firewall Design" |
| 2003 | João Durães (University of Coimbra) | "Definition of Software Fault Emulation Operators: A Field Data Study" |
| 2002 | John DeVale (Carnegie Mellon University) | "Robust Software – No More Excuses" |
| 2001 | Martin Hiller (Chalmers University) | "An Approach for Analysing the Propagation of Data Errors in Software" |
| 2000 | Wei Chen (Cornell University) | "On the Quality of Service of Failure Detectors" |
| 1999 | Wee Teck Ng (University of Michigan) | "The Systematic Improvement of Fault Tolerance in the Rio File Cache" |
| 1998 | Nuno Neves (University of Illinois at Urbana-Champaign) | "RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols" |
| 1997 | Bharat P. Dave (Princeton University) | "COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance" |
| Christof Fetzer (University of California at San Diego) | "Fail-Awareness: An Approach to Construct Fail-Safe Applications" |
See also
[edit]References
[edit]- ^ The William C. Carter PhD Dissertation Award in Dependability
- ^ The Evolution of Fault-Tolerant Computing: In the Honor of William C. Carter (Dependable Computing and Fault-Tolerant Systems).[1]
- ^ The William C. Carter Award
- ^ IEEE Technical Committee on Fault-Tolerant Computing (TC-FTC)
- ^ IFIP Working Group on Dependable Computing and Fault Tolerance (WG 10.4).[2]
- ^ DSN2015 Carter Award