- Call for Nominations: 2024 Jean-Claude Laprie Award
- Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
- Call for Nominations: The 2023 Jean-Claude Laprie Award
Past winners of the Jean-Claude Laprie Award
About the Jean-Claude Laprie Award
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).
Eligibility and Selection Criteria
Any paper relating to dependable and secure computing, and published at least 10 years prior to the award year (e.g., 2014 or earlier for the 2024 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:
- Technical/scientific research impact
- Industrial/commercial product impact
- Broad impact on the dependable computing community
The award may be given to more than one paper.
Nominations are due on January 19, 2024. Award to be announced in April, 2024.
Nomination
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):
- Name, affiliation, and contact information of the nominator
- The nominated paper pdf
- For each author of the nominated paper: biographical information, including current
position and contact details. Nominations that do not contain this information will be
administratively rejected. - Description (500 words maximum) of the impact of the paper over at least a ten-year
period, addressing the following questions:- What is the main category of impact for the nominated paper? (see “selection
criteria”) - What advances have been enabled by the ideas presented in the paper? Include as
appropriate: evidence of follow-up research, evidence of usage of the described
technology in an industrial setting, or evidence of starting new directions and/or
spawning new ideas.
- What is the main category of impact for the nominated paper? (see “selection
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.
Please send your nomination to the IFIP WG 10.4 Chair, Marco Vieira at marco.vieira@charlotte.edu by the due date.
Award Committee
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 completed (no later than two weeks) after the nomination deadline, to prevent conflict of interest. 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.
Conflict of Interest Policy
The IFIP chair selects the chair of the award committee and collaborates with the latter in forming the rest of the committee with an eye on avoiding conflict of interest. Persons having a conflict of interest with a nominated paper may not serve on the award committee. Conflict of interest
includes:
- A paper nominator.
- Being currently from the same institution as an author of a nominated paper.
- Was the PhD advisor or advisee of one of the authors of a nominated paper.
- Is a relative of an author of a nominated paper.
About Jean-Claude Laprie
Jean-Claude Laprie (1944-2010) was Directeur de Recherche at LAAS-CNRS. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of the concepts and methodologies of dependability were influential in defining and unifying the field of dependable and secure computing, rapidly leading to national and international recognition. He received the IFIP Silver Core in 1992, the Silver Medal of French Scientific Research in 1993, and the Grand Prize in Informatics of the French Academy of Science in 2009. He was made Chevalier de l’Ordre National du Mérite in 2002.
Past Winners of the Jean-Claude Laprie Award
2o23
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen, “Model-checking algorithms for continuous-time Markov chains”,
IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 524-541, June 2003, doi: 10.1109/TSE.2003.1205180.
2022
B.P. Miller, L. Fredriksen, and B. So, “An Empirical Study of the Reliability of UNIX Utilities”, Communications of the ACM 33, 12 (December 1990)
2021
Iyer, Ravishankar K. and Rossetti, David J and Hsueh, Mei-Chen. ACM TOCS 1986. Measurement and Modeling of Computer Reliability as Affected by System Activity
2020
Ateniese, G., Di Pietro, R., Mancini, L. V., Tsudik, G. Scalable and Efficient Provable Data Possession. In Proc. 4th Intl. Conf. on Security and Privacy in Communication Networks (SecureComm), Istanbul, Turkey (September 2008), Art. No.9, pp.1-10
2019
Huang, Y., Kintala, C., Kolettis, N., & Fulton, N.D. “Software Rejuvenation: Analysis, Module and Applications”. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS), pp 381-390.
2018
Algirdas Avizienis and Liming Chen, “On the implementation of N-version programming for software fault tolerance during execution”, in Proc. COMPSAC, 1977, 149-155.
2017
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.
2016
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).
2015
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
2014
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.
2013
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)
2012
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)