William C. Carter Award

Last updated

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]

Contents

Past recipients

YearRecipient (University)Paper
2019João Catarino de Sousa (University of Lisbon)"Byzantine state machine replication for the masses"
2018Christoph Borchert (Technische Universität Dortmund)"Aspect-Oriented Technology for Dependable Operating Systems"
2017Homa Alemzadeh (University of Illinois at Urbana-Champaign)"Data-Driven Resiliency Assessment of Medical Cyber-Physical Systems"
2016Sebastiano Peluso (Virginia Tech)"Efficient Protocols for Replicated Transactional Systems"
2015Dmitrii Kuvaiskii (TU Dresden)"Δ-encoding: Practical Encoded Processing" [5]
2014Cuong Pham (University of Illinois at Urbana Champaign)"Reliability and Security Monitoring of Virtual Machines Using Hardware Architectural Invariants"
2013Suman Saha (Laboratoire d'Informatique de Paris 6)"Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software"
2012Collin Mulliner (Technische Universität Berlin)"Taming Mr Hayes: Mitigating Signaling Based Attacks on Smartphones "
2011Gabriela Jacques da Silva (University of Illinois at Urbana-Champaign)"Modeling Stream Processing Applications for Dependability Evaluation"
2010Basel Alomair (University of Washington at Seattle)"Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification"
2009José Fonseca (University of Coimbra)"Vulnerability & Attack Injection for Web Applications"
2008Karthik Pattabiraman (University of Illinois at Urbana-Champaign)"SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework"
2007Jorrit N. Herder (Vrije Universiteit)"Failure Resilience for Device Drivers"
2006Jonathan Chang (Princeton University)"Automatic Instruction-Level Software-Only Recovery Methods"
2005Alper T. Mizrak (University of California, San Diego)"Fatih: Detecting and Isolating Malicious Routers"
Mohan Rajagopalan (University of Arizona)"Authenticated System Calls"
2004Alex X. Liu (University of Texas at Austin)"Diverse Firewall Design"
2003João Durães (University of Coimbra)"Definition of Software Fault Emulation Operators: A Field Data Study"
2002John DeVale (Carnegie Mellon University)"Robust Software – No More Excuses"
2001Martin Hiller (Chalmers University)"An Approach for Analysing the Propagation of Data Errors in Software"
2000Wei Chen (Cornell University)"On the Quality of Service of Failure Detectors"
1999Wee Teck Ng (University of Michigan)"The Systematic Improvement of Fault Tolerance in the Rio File Cache"
1998Nuno Neves (University of Illinois at Urbana-Champaign)"RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols"
1997Bharat 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

Related Research Articles

Checkpointing is a technique that provides fault tolerance for computing systems. It basically consists of saving a snapshot of the application's state, so that applications can restart from that point in case of failure. This is particularly important for the long running applications that are executed in the failure-prone computing systems.

In systems engineering, dependability is a measure of a system's availability, reliability, and its maintainability, and maintenance support performance, and, in some cases, other characteristics such as durability, safety and security. In software engineering, dependability is the ability to provide services that can defensibly be trusted within a time-period. This may also encompass mechanisms designed to increase and maintain the dependability of a system or software.

David Patterson (computer scientist) American computer scientist

David Andrew Patterson is an American computer pioneer and academic who has held the position of Professor of Computer Science at the University of California, Berkeley since 1976. He announced retirement in 2016 after serving nearly forty years, becoming a distinguished engineer at Google. He currently is Vice Chair of the Board of Directors of the RISC-V Foundation, and the Pardee Professor of Computer Science, Emeritus at UC Berkeley.

A Byzantine fault is a condition of a computer system, particularly distributed computing systems, where components may fail and there is imperfect information on whether a component has failed. The term takes its name from an allegory, the "Byzantine Generals Problem", developed to describe a situation in which, in order to avoid catastrophic failure of the system, the system's actors must agree on a concerted strategy, but some of these actors are unreliable.

Brian Randell is a British computer scientist, and Emeritus Professor at the School of Computing, Newcastle University, UK. He specialises in research into software fault tolerance and dependability, and is a noted authority on the early pre-1950 history of computers.

The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of information and communication technologies (ICT) to conduct research, develop standards and promote information sharing.

Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of some of its components. If its operating quality decreases at all, the decrease is proportional to the severity of the failure, as compared to a naively designed system, in which even a small failure can cause total breakdown. Fault tolerance is particularly sought after in high-availability or life-critical systems. The ability of maintaining functionality when portions of a system break down is referred to as graceful degradation.

The International Conference on Dependable Systems and Networks is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the Dependable Computing and Communications Symposium (DCCS), the Performance and Dependability Symposium (PDS), several workshops, tutorials, a student forum, and fast abstracts. It is sponsored by the IEEE and the IFIP WG 10.4 on Dependable Computing and Fault Tolerance. DSN was formed in 2000 by merging the IEEE International Symposium on Fault-Tolerant Computing (FTCS) and the IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA). The instance number for DSN is taken from FTCS which was up to its 29th instance in its last year of 1999.

IEEE Communications Society organization

The IEEE Communications Society (ComSoc) promotes the advancement of science, technology and applications in communications and related disciplines. It fosters presentation and exchange of information among its members and the technical community throughout the world. The Society maintains a high standard of professionalism and technical competency. The IEEE Communications Society is a professional society of the IEEE.

IEEE Computer Society is a professional society of the Institute of Electrical and Electronics Engineers (IEEE). Its purpose and scope is "to advance the theory, practice, and application of computer and information processing science and technology" and the "professional standing of its members." The CS is the largest of 39 technical societies organized under the IEEE Technical Activities Board.

ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces is a standardization subcommittee of the Joint Technical Committee ISO/IEC JTC 1 of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC) that develops and facilitates standards within the fields of programming languages, their environments and system software interfaces. ISO/IEC JTC 1/SC 22 is also sometimes referred to as the "portability subcommittee". The international secretariat of ISO/IEC JTC 1/SC 22 is the American National Standards Institute (ANSI), located in the United States.

Elaine Jessica Weyuker is an ACM Fellow, an IEEE Fellow, and an AT&T Fellow at Bell Labs for research in software metrics and testing as well as elected to the National Academy of Engineering. She is the author of over 130 papers in journals and refereed conference proceedings.

Fabio Paternò is Research Director and Head of the Laboratory on Human Interfaces in Information Systems at Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche in Pisa, Italy.

Chandra Kintala (1948–2009) was a computer science researcher in New Jersey, United States and Bangalore, India from 2006–2009.

T. William (Bill) Olle was a British computer scientist and consultant and President of T. William Olle Associates, England.

Börje Langefors was a Swedish engineer and computer scientist, Emeritus Professor of Business Information Systems at the Department of Computer and Systems Science, Stockholm University and Royal Institute of Technology, Stockholm, and "one of those who made systems development a science."

Alex Verrijn Stuart Dutch computer scientist

Adolf Alexander Verrijn Stuart was a Dutch computer scientist, and the first Professor in computer science at the Leiden University from 1969 tot 1991.

John Patrick Hayes is an Irish-American computer scientist and electrical engineer, the Claude E. Shannon Chair of Engineering Science at the University of Michigan.

IEC/IEEE 61850-9-3 IEC and IEEE standard

IEC/IEEE 61850-9-3 or PUP is an international standard for precise time distribution and clock synchronization in electrical grids with an accuracy of 1 μs.
It supports precise time stamping of voltage and current measurement for differential protection, wide area monitoring and protection, busbar protection and event recording.
It can be used to ensure deterministic operation of critical functions in the automation system.
It belongs to the IEC 61850 standard suite for communication networks and systems for power utility automation.

Daniel P. Siewiorek is an American computer engineer and scientist, currently the Buhl University Professor of Electrical and Computer Engineering and Computer Science at Carnegie Mellon University.

References

  1. The Evolution of Fault-Tolerant Computing: In the Honor of William C. Carter (Dependable Computing and Fault-Tolerant Systems).
  2. The William C. Carter Award
  3. IEEE Technical Committee on Fault-Tolerant Computing (TC-FTC)
  4. IFIP Working Group on Dependable Computing and Fault Tolerance (WG 10.4).
  5. DSN2015 Carter Award