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 (TC-FTC) and the IFIP Working Group on Dependable Computing and Fault Tolerance (WG 10.4).[1][2][3][4]
Past recipients
| Year | Recipient (University) | Paper |
|---|---|---|
| 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" [5] |
| 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" | |
gollark: Nim has `func`/`proc` with the difference being *side effects*.
gollark: They are calling it pure, even though it is not in fact pure because of IO.
gollark: People *can* make mistakes under some circumstances.
gollark: A function's output depends on its inputs only, and it is not doing I/O stuff in the background like V ones apparently can.
gollark: Compiler errors are fine, stack corruption is unfine.
See also
References
- The Evolution of Fault-Tolerant Computing: In the Honor of William C. Carter (Dependable Computing and Fault-Tolerant Systems).
- 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).
- DSN2015 Carter Award
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.