Frances Allen est la première informaticienne à avoir reçu en 2006, la plus haute récompense en informatique, le prix Turing, pour ses travaux sur l’optimisation des compilateurs. Elle vient de décéder, le jour de son anniversaire, à 88 ans. Frances Allen a conçu et écrit des compilateurs indépendants des machines et des langages rendant ainsi possible la création des compilateurs optimisés modernes. Le secteur entier de l’informatique lui doit énormément.

Toute sa longue carrière, 45 ans, s’est exclusivement déroulée chez IBM ou elle est entrée le 15 juillet 1957 pour prendre sa retraite en 2002. Avec elle, c’est un pan important de l’histoire de l’informatique qui disparaît.

Plutôt qu’une banale nécrologie qui va, forcément, faire un peu plagiat, la forme d’une interview imaginaire, donne l’occasion d’aborder l’histoire de l’informatique et des thèmes qui lui étaient chers, principalement la place des femmes en informatique, sujet qu’elle a abondamment abordé dans un discours après la remise de son prix Turing.

Diffie et Hellman ont été récompensés par l'ACM (Association for Computing Machinery) de l'A.M. Turing Award 2015 pour leurs contributions à la cryptographie moderne.

Déjà sorti dans les salles obscures anglo-saxonnes et bientôt à l'écran en France (28 janvier), le film "The Imitation Game" (Imitation Game en France et « Le jeu de l'imitation » au Québec, une référence au Test de Turing) retrace la vie d'Alan Turing, et plus spécialement son implication à Bletchley Park pour décrypter les messages de l'armée allemande chiffrés avec la machine Enigma durant la seconde guerre mondiale.

Comme tout film historique et biographique, un certain nombre de points ne sont pas exacts, mais le travail réalisé est tout à fait honorable et permet de montrer l'importance de la cryptographie durant la seconde guerre mondiale, et la situation pour les homosexuels en Angleterre (qui conduira à la castration chimique de Turing). Plusieurs prix et nominations ont été accordés aux acteurs (en particulier à Benedict Cumberbatch qui joue le rôle de Turing), au scénario et à l’œuvre dans son ensemble.

Le prix Turing récompense des chercheurs en informatique qui posent des bases sur lesquelles s’appuient non seulement leurs successeurs, mais aussi chacun d’entre nous. Cette année, c’est Leslie qui Lamport (© Shuba) pour ses contributions fondamentales à la théorie et la pratique des systèmes répartis et concurrents, notamment l’invention de concepts tels que la causalité et les horloges logiques, la sûreté et la vivacité, les machines à états réparties, et la cohérence séquentielle.

La suite en seconde partie.

• les langages de programmation, en particulier avec le support de la programmation répartie ;
  
• la théorie des types, où elle a défini une nouvelle notion de type dérivé (T est un type dérivé de S si toute propriété prouvable sur les objets de S est prouvable sur les objets de T) ;
  
• les bases de données, en particulier orientées objet ;
  
• l'algorithmique répartie avec tolérance aux défaillances, et en particulier les plus difficiles de toutes ces défaillances : les processus byzantins.