The Jean-Claude Laprie Award in Dependable Computing is awarded annually since 2012 by the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance in his honor. The award recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing.
It takes the form of a memorial plaque presented to the author(s) at the Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Any paper relating to dependable and secure computing, and published at least 10 years prior to the award year (e.g., 2009 or earlier for the 2019 award) is eligible for the award.
The award seeks to recognize papers that have had a significant impact in the intervening years in one or more of the three following categories:
Nominations may be made by any person who is familiar with the author's or authors' published work.
The supporting material for the nomination should include (incomplete materials may jeopardize the nomination):
Nominations by the award committee itself are admissible at any time during the deliberation and selection process, subject to the conflict of interest rules established below.
Selection will be carried out by a committee of at least 5 persons, chaired by a person appointed by the IFIP 10.4 working group chair. The other members of the award committee will be appointed by the working group chair in consultation with the award committee chair.
The award committee is renewed annually and will be constituted (no later than two weeks) after the nomination deadline, to prevent CoI. The committee will complete its deliberation and selection process in time to make the award at the DSN conference, typically the last week in June.
Persons having a conflict of interest with a nominated paper cannot be members of the award committee. A person must declare a conflict of interest if he/she:
Algirdas Avizienis and Liming Chen, "On the implementation of N-version programming for software fault tolerance during execution", in Proc. COMPSAC, 1977, 149-155.
Kuang-Hua Huang and Jacob A. Abraham, "Algorithm Based Fault Tolerance for Matrix Operations", in IEEE Transactions on Computers, Vol. C-33, No. 6, pp. 518-528, June 1984
Richard Schlichting and Fred Schneider "Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems" in ACM Transactions on Computing Systems, 1(3), Aug. 1983, pp. 222-238.
W.C.Carter and P.R.Schneider, "Design of Dynamically Checked Computers", Proceedings of the IFIP Congress, Vol.2, pp.878 – 883 (1968).
A. Avizienis, J.C. Laprie, B. Randell and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing", IEEE Transactions on dependable and secure computing. Vol.1. No.1, pp.1 - 23 (2004).
A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala, "FTMP—A highly reliable fault-tolerant multiprocess for aircraft", Proceedings of the IEEE, vol.66, no.10, pp.1221, 1239, Oct. 1978
B. Randell, "System Structure for Software Fault Tolerance", IEEE Transactions on Software Engineering, vol.SE-1, no.1, 1975, pp 220-232.
J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, "SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control", Proceedings of the IEEE, vol.66, no.10, 1978, pp.1240-1255.
H. Kopetz, G. Bauer, "The Time-Triggered Architecture", Proceedings of the IEEE, vol.91, no.1, 2003, pp. 112-126.
L. Lamport, R. Shostak, and M. Pease, “The Byzantine Generals Problem (1982)
J. Gray, “Why Do Computers Stop and What Can Be Done About It? (1986)
W.G. Bouricius, W.C. Carter and P.R. Schneider, “Reliability Modeling Techniques for Self-Repairing Computer Systems (1969)
A. Avizienis, “Design of fault-tolerant computers (1967)
J. F. Meyer, “On evaluating the performability of degradable computing systems (1980)
D. A. Patterson, G. Gibson, and R. H. Katz, “A case for redundant arrays of inexpensive disks (RAID) (1988)