Comme beaucoup de chercheurs de premier plan, Barbara Liskov a contribué à plusieurs domaines de l'informatique, principalement :
- 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.
On distingue plusieurs niveaux de défaillances :
- les pannes par arrêt définitif (crash) : la machine s'arrête sans prévenir en plein milieu d'un calcul. Si le système est asynchrone, comme les réseaux informatiques (si on ne leur ajoute pas de dispositif pour contourner le problème), un joli théorème (Fischer, Lynch, Paterson 1985) nous indique qu'il n'est pas possible de résoudre dans ce cadre même un problème simple comme celui du consensus, dans lequel les machines doivent se mettre d'accord pour décider la même valeur ;
- les pannes par arrêt et redémarrage ;
- les défaillances transitoires : la mémoire des machines et le contenu des canaux du réseau peuvent être modifiés arbitrairement. Ceci modélise par exemple les modification de la mémoire par des phénomènes physiques dus, par exemple, aux rayons cosmiques ou à une température trop élevée. Les techniques habituellement utilisées dans ce cadre sont la redondance modulaire et l'autostabilisation ;
- les défaillances byzantines. Introduites par Lamport, Pease et Shostak en 1982, elles modélisent la situation dans laquelle un processus (une machine) se comporte arbitrairement, sans tenir compte de son programme, comme un traître dans le système. Leur origine remonte à un problème posé par la NASA, qui voulait des algorithmes aussi fiables que possible pour piloter ses appareils volants. Les défaillances byzantines sont, bien entendu, particulièrement difficiles à tolérer. L'algorithme de consensus byzantin le plus connu est sans doute Paxos (Lamport 1998), utilisé entre autres dans les bases de données de Google.
C'est pour l'ensemble de son œuvre que Barbara Liskov a été récompensée. L'ACM note ses contributions fondamentales aux langages de programmation, aux techniques de mise au point de logiciels et à l'algorithmique répartie. Ces deux derniers points sont à la fête ces derniers temps, puisque l'année dernière le domaine mis en valeur était le model-checking. En tous cas, nul doute que c'est un grand jour pour le génie logiciel, à tous les sens du terme.
Aller plus loin
- Journal à l'origine de la dépêche (4 clics)
- La citation du prix sur le site de l'ACM (2 clics)
- Un article sur MIT News (1 clic)
# Juste une petite note
Posté par barmic . Évalué à 2.
En tout cas bravo à elle. Pour toutes ses contribution à l'informatique actuelle.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Juste une petite note
Posté par ɹǝıʌıʃO . Évalué à 4.
[^] # Bin et ZFS alors?
Posté par reno . Évalué à 2.
ZFS a fait beaucoup de pub sur son utilisation des checksums de 'bout en bout' donc je dirais qu'il y a une amorce d'évolution de ne plus limiter au niveau 2 les checksums..
[^] # Re: Bin et ZFS alors?
Posté par fcartegnie . Évalué à 3.
http://fr.wikipedia.org/wiki/Code_correcteur
Un checksum ne fournissant que l'état des données, et non le moyen de les rectifier. Tu peux demander à un réseau de renvoyer les donnés, mais difficilement à un utilisateur de réécrire ses données sur le disque :)
[^] # Re: Bin et ZFS alors?
Posté par barmic . Évalué à 1.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Bin et ZFS alors?
Posté par fcartegnie . Évalué à 2.
# Vive la médaille Fields
Posté par Sytoka Modon (site web personnel) . Évalué à 8.
Une des rares médailles intéressante est la médaille Fields car on ne peut l'avoir qu'avant 40 ans. Cela pousse la jeunesse. Ce sont les jeunes qui ont besoin d'avoir un coup de pousse pour entamer une 'seconde' carrière.
http://fr.wikipedia.org/wiki/Médaille_Fields
Au dela de 60 ans, donner une médaille permet d'interviewé les médaillés à propos de tout et de n'importe quoi dans les médias, comme si un spécialiste technique était forcément un bon sociologue, un bon historien...
Vive le recrutement de jeune chercheur permanent et indépendant ;-)
[^] # Re: Vive la médaille Fields
Posté par patrick_g (site web personnel) . Évalué à 8.
Une des conséquences c'est aussi le fait qu'Andrew Wiles (qui a prouvé le dernier théorème de Fermat) n'a pas eu la médaille Fields. Il était trop vieux de quelques mois et ainsi il n'a pas pu recevoir la plus haute distinction des mathématiques.
Un peu ballot non ?
[^] # Re: Vive la médaille Fields
Posté par 2PetitsVerres . Évalué à 8.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Vive la médaille Fields
Posté par sanao . Évalué à 3.
[^] # Re: Vive la médaille Fields
Posté par patrick_g (site web personnel) . Évalué à 2.
Oui le nom fait un peu cheap mais bon....
http://emis.math.ca/mirror/ICM98/TU-Presse/pi183e.htm
[^] # Re: Vive la médaille Fields
Posté par HoloAddict (site web personnel) . Évalué à -4.
Bon, je suis un peu mauvaise langue, peut-être cela sera utile un jour, comme beaucoup de choses en mathématique qui ne l'était pas au début, mais tout de même... Faut avoir rien d'autre à faire...
Je suis content de pas être mathématicien ;) déjà que je trouve qu'il y a déjà trop de math dans l'informatique ^^
[^] # Re: Vive la médaille Fields
Posté par sanao . Évalué à 2.
Quand un astronome ne comprend pas une chose, il demande à un physicien s'il n'a pas une particule de derrière les fagots qui pourrait résoudre son problème.
Lorsqu'un physicien ne comprend pas une chose, il demande à un mathématicien s'il n'a pas un théorème de derrière les fagots qui pourrait résoudre son problème.
</mode caricature>
Voilà une utilisation pratique des mathématiques.
Et puis il faut arrêter de chercher absolument une utilisation pratique à la science et de décréter que comme telle recherche ne sert à rien maintenant, il faut arrêter les frais (ou la dénigrer dans ton cas). Résoudre un problème sur lequel nombre de personnes se sont cassés les dents est très gratifiant.
PS : L'informatique c'est des mathématiques dès que tu creuses un tant soit peu.
[^] # Re: Vive la médaille Fields
Posté par Thomas Douillard . Évalué à 3.
C'est aussi une bonne heuristique pour savoir là ou il y a des choses intéressantes à trouver ... qui peuvent être n'importe quoi vu qu'on ne sait pas résoudre le problème, et donc potentiellement avoir des applications très intéressante et des répercussions qui vont bien au delà de la résolution initiale du problème en elle même.
Quelle intérêt à résoudre un problème que l'on sait déja résoudre ? Si il est déja résolu, il n'y a (probablement) plus grand chose à chercher, et plus grand chose à trouver ...
[^] # Re: Vive la médaille Fields
Posté par argt (site web personnel) . Évalué à 1.
Complétement faux. Il y a une différence entre prouver un théorème (i.e. résoudre un problème) et comprendre de manière approdondie un problème.
L'exemple typique est celui de la classification des groupes finies. (au niveau application, il s'agit de comprendre des objets ayant des propriétés de symmétries très compliqués, comme des crystaux par exemple). Cette classification est l'un des sommets des résultats en algèbre du 20ème siècle. Malheureusement, la preuve totale fait 5000 pages.
Il y a donc de nombreuses personnes qui travaillent encore dessus avec comme objectif de réduire le nombre de page. Si tu réussis, cela signifie que tu as compris quelque chose qui avait échappé aux autres avant, et c'est donc loin d'etre débile.
[^] # Re: Vive la médaille Fields
Posté par Thomas Douillard . Évalué à 2.
[^] # Re: Vive la médaille Fields
Posté par Mathieu Segaud . Évalué à 4.
[^] # Re: Vive la médaille Fields
Posté par sanao . Évalué à 2.
[^] # Re: Vive la médaille Fields
Posté par patrick_g (site web personnel) . Évalué à 3.
Pour l'honneur de l'esprit humain.
[^] # Re: Vive la médaille Fields
Posté par Sytoka Modon (site web personnel) . Évalué à 4.
Je pense que Wiles n'a plus besoin de médaille pour s'assurer un second soufle.
Cette barre des 40 ans n'a pas empêché Lions (père) d'être un très grand mathématicien, plus doué que Lions (fils) d'après certain. Or c'est le fils qui a eu la médaille Fields.
[^] # Re: Vive la médaille Fields
Posté par argt (site web personnel) . Évalué à 1.
Oui certains diront que le fils l'a reçu (en partie) gràce à l'influence du père...
Cependant, il faut avouer que le fils était pas mauvais non plus, le nombre d'articles sur mathscinet avant 94 (date où il reçoit la médaille fields) parus dans des bonnes revus (types comptes rendus de l'école normale) est très impressionant.
Si le père n'a pas reçu la médaille, il a quand meme "reçu" un institut de math à son nom.
[^] # Re: Vive la médaille Fields
Posté par sanao . Évalué à 5.
Je situerai le problème plus à un autre niveau (que tu as abordé succinctement) : le fait que les principales récompenses soient décerner à des personnes et non à des groupes.
Aujourd'hui, la connaissance est si spécialisée, certains instruments si titanesques (l'exemple le plus flagrant est le LHC), que les découvertes sont bien plus une affaire de groupes que d'individu.
A mon avis, les principales récompenses mettent de côté bien trop de monde (je pense notamment à Jean-Claude Chermann) et qu'elles occultent un aspect de la science qui fait que les découvertes sont également une affaire de société et d'époque. Car une découverte voit le jour également parce que les scientifiques à l'origine de cette dernière sont sur un bon "terreau" si je puis dire.
[^] # Re: Vive la médaille Fields
Posté par Mathieu Segaud . Évalué à 2.
Le prix Nobel de Carlo Rubbia en 1984 est dû principalement au fait qu'il a dirigé l'expérience qui a mis en évidence les bosons W+, W- et Z0 et confirmé leurs masses prédites par le modèle standard de l'interaction électrofaible. Pourtant dans son discours inaugural il a associé toutes les couches de gestion du CERN et de la gestion du SPS/UA1. Pourtant, il l'a mérité par son travail personnel, par son idée de transformer (avec ses solutions technico-théoriques) un simple synchrotron "créateur" de faisceaux de protons en collisionneurs proton anti-proton.
Il y aura tjs des individualités même dans des projets pharaoniques tels le LHC, le LMJ ou autre SLAC. Et c'est ce qui est beau en sciences, et on aura tjs besoin de récompenser les individualités qui auront su driver l'imagination de foule d'autres chercheurs.
:)
[^] # Re: Vive la médaille Fields
Posté par Sytoka Modon (site web personnel) . Évalué à 2.
> foule d'autres chercheurs.
Je suis d'accord et très souvent, les chercheurs récompensés associe leurs équipes. Cela pourrait être un peu plus officiel.
Sinon, il y a certes des individualités mais je reste profondément convaincu que beaucoup de trouvaille aurait été faites avec d'autres individualités a peu près à la même époque. Prenons un exemple connu, la relativité restreinte longtemps attirbué à Einstein que Poincarré avait déjà montré et qui aurait été montré... C'était dans l'air du temps.
Idem pour Carlo Rubbia, il a eu la chance d'avoir son idée et d'être au bon endroit au bon moment. Mais un autre l'aurait eu avec cette machine sous la main et cette envie d'avoir ces bosons à l'époque. Celui qui trouvera le Boson de Higgs aura le Nobel demain, mais si l'un le trouve, l'autre l'aurait aussi trouvé.
Certaines idées géniales sont arrivés un peu hors contexte et on mis un temps fou pour être intégrer : le théorème de Fermat en est un exemple, la théorie du Chaos initié par Poincarré qui a ensuite dormi plus de 60 ans. Un superbe résultat peu connu est l'analyse non standard, théorie peu connu et pourtant géniale :
http://fr.wikipedia.org/wiki/Analyse_non_standard
Elle démontre en 1960 grace a Abraham Robinson que les infiniments petits 'existent', qu'ils sont mathématiquement acceptable et utilisable. La revanche de Leibniz sur Newton en somme. En 1977, Nelson rend l'analyse non standard plus proche de la vision des physiciens.
Très peu d'enseignant savent cela et beaucoup disent encore que les infiniments petits sont un truc de physiciens qui marchent mais que pour faire des Math, faut faire du Cauchy (Il existe Epsilon....).
Bref, je m'égare... En mécanique des fluides, il y a l'effet Papillon mais cela ne nous empêche pas de voir des modèles sur plusieurs décennies. Avec ses plus de 4 milliards de particules, l'Homme est peut être un fluide intéressant à suivre ;-)
[^] # Re: Vive la médaille Fields
Posté par Mathieu Segaud . Évalué à 4.
Il faut quand même rendre à César ce qui appartient à César, personne à part Einstein n'avait compris la Relativité, même si Lorentz et Poincaré avaient atteint les mêmes résultats mathématiques en partant des équations de Maxwell.
Pour ce qui est de l'analyse non standard, c'est très intéressant, mais il n'y a au premier abord aucune différence avec Cauchy, si ce n'est en termes de représentation, et de formulation: les résultats sont les mêmes :)
[^] # Re: Vive la médaille Fields
Posté par argt (site web personnel) . Évalué à 2.
[^] # Re: Vive la médaille Fields
Posté par patrick_g (site web personnel) . Évalué à 3.
La formulation exacte des équations de champs de la Relativité Générale vient de Hilbert :
http://en.wikipedia.org/wiki/Relativity_priority_dispute#Did(...)
Mais on est d'accord que c'est juste leur formulation mathématique qui est de Hilbert....99% du travail de compréhension vient de Einstein.
[^] # Re: Vive la médaille Fields
Posté par argt (site web personnel) . Évalué à 3.
Ce n'est pas ce que dit l'article sur wikipedia et c'est probablement faux.
- Einstein a présenté la formulation correcte des équations le 26 Novembre 1915.
- Le 20 Novembre 1915, Hilbert a envoyé un manuscript pour publication, qui ne sera publié qu'en 1916, et qui, dans la version publiée, contient aussi les bonnes équations (ainsi qu'une note indiquant que cette formulation a été trouvé avant par Einstein).
-le 18 Novembre 1915, Einstein envoie une lettre à Hilbert, le remerciant de lui avoir fait parvenir son manuscript (probablement le meme manuscript qu'Hilbert a envoyé pour publication 2 jours après).
Le biographe d'Einstein, Albrecht Folsing, a pensé que, puisque l'article d'Hilbert a été envoyé 6 jours avant qu'Einstein ait présenté les équations correctes et puisqu'Einstein l'a remercié quelques jours auparant pour lui avoir fait parvenir un autre manuscript, il se peut que ce manuscript contenait la formulation des équations correctes et qu'Einstein ait pu s'en inspirer, et meme si ce n'est pas le cas (vu la difficulté pour lire un tel ouvrage en si peu de temps), qu'Hilbert ait précédé Einstein de 6 jours.
Cependant, un article paru dans la revue Science en 97 affirme le contraire et donne de très forts arguments contre les théories de Folsing. En effet, les auteurs ont retrouvé le manuscript qu'Hilbert a envoyé le 20 Novembre. Il ne comporte pas les bonnes équations et il est très différent de l'article final, celui qui sera publié en 1916 (mais marqué de la date de l'envoie i.e. 20 Novembre 1915).
De plus, le biographe Albrecht Folsing aurait mal interprété la lettre qu'Einstein envoie le 18 Novembre à Hilbert, Einstein ne l'aurait pas remercié pour son manuscript (en dehors du ton de politesse nécessaire à l'époque) mais lui dit que ce manuscript, c'est limite du plagiat de ses articles précédents.
Pour conclure, Hilbert a toujours attribué la découverte de la relativité générale (et méme des équations) à Einstein, il semble peut probable qu'il aurait renoncé à sa priorité.
En revanche, la contribution d'Hilbert, c'est d'avoir montré que les équations d'Einstein peuvent etre dérivé d'un principe de moindre action (formulation Lagrangienne), une manière mathématique très élégante (et ayant des implications importantes) de dériver les équations.
[^] # Re: Vive la médaille Fields
Posté par Sytoka Modon (site web personnel) . Évalué à 2.
Pour ce qui est de la relativité générale, c'est un gros boulot qu'Einstein a mené en leader effectivement. On oublie deux choses : après la relativité générale, il a voulu poursuivre dans la même voie et s'est cassé les dents et personne ne l'a suivit. La relativité générale pose des équations qui ne peuvent être résolues car il y a une inconnué de trop. A été posé un principe de normalité mais celui-ci n'a pas de base vraiment solide à par qu'il marche et que sinon, on ne sais pas résoudre les équations !
Il est très difficile de remettre en cause la relativité générale, quasiment tous les physiciens s'y opposent et pourtant elle "emmerde" tout le monde. Je connais un chercheur qui a une théorie ou il retrouve a un chouya près la relativité générale (périhélie de Mercure...) mais étant seul et vu la complexité des calculs, cela avance lentement.
Aussi belle soit-elle, la relativité générale reste une théorie.
Sinon, les détracteurs de l'Analyse non standard nous disent que cela ne sers à rien car tous les résultats démontré en analyse non standard peuvent l'être en analyse standard. Certes, c'est un des résultats de Robinson. Mais c'est négliger qu'avec de nouvelles méthodes et de nouveaux concepts, on ne puisse trouver plus facilement certaine démonstration, théorème, méthode, résultat... La physique se comprends bien mieux avec des infiniments petits qu'avec des epsilon de Cauchy.
[^] # Re: Vive la médaille Fields
Posté par Thomas Douillard . Évalué à 3.
Cependant, je pense que le rayonnement de la médaille dépasse largement ce cadre, et que tous ceux qui ont travaillé avec elle doivent se sentir flattés par cette médaille.
N'importe qui a travaillé avec ce genre de personne sait qu'en général il suffit de passer assez peu de temps avec elles à travailler sur son problèmes pour savoir qu'ils comprennent ta problématique et donnent des pistes de recherche intéressantes. Genre le thésard en première année qui galère a essayer de comprendre son sujet de thèse et qui rencontre son directeur de thèse ... ça fait tout bizarre.
Ou le vieux chercheur dans une conférence qui te résume et te donne un aperçu de tout un domaine dans des termes simples en une ou deux heures ...
C'est toujours intéressant de rencontrer ce genre de personnage, certe tu sais qu'ils travaillent à plus "haut niveau", avec pleins de gens, mais tu sens qu'en général ce n'est pas pour rien et qu'ils ne sont pas là par hasard.
Avoir travaillé dans autant de domaines différents c'est pas donné à tout le monde ... Bon, quand elle a commencé c'était différent.
# Très bon article sauf...
Posté par Pierre Jarillon (site web personnel) . Évalué à 9.
On ne doit pas confondre le genre de la personne et le genre de la fonction, n'en déplaise à un ministre en jupons qui n'était pas bien dans sa peau.
D'ailleurs on dit une sentinelle et c'est presque toujours un homme et à l'opéra, une basse est toujours un homme.
Si on admet qu'une femme et un homme puissent faire le même métier, appelons le métier de la même façon. Ce sera beaucoup plus égalitaire et bien moins ridicule que de faire de grossières fautes de français.
[^] # C'est plus compliqué que ça...
Posté par Mathieu Segaud . Évalué à 4.
mais en gros c'est ça. Dans le cas qui nous intéresse, c'est avant tout un titre.
[^] # Re: C'est plus compliqué que ça...
Posté par judicael . Évalué à 1.
cf http://www2.hec.ca/qualitecomm/chroniques/femini/racine.html
La langue française a existé avant les académiciens. Elle continue à évoluer indépendamment d'eux, malgré qu'ils en aient.
[^] # Re: C'est plus compliqué que ça...
Posté par Mathieu Segaud . Évalué à 5.
Tes propos sont tout aussi normatifs que des discours de vieux qui _parlent_ cette langue depuis infiniment plus de temps que toi, qui en ont connu bien plus d'évolutions, mais qui visiblement selon toi, ne parlent plus cette langue depuis que Boileau et Racine sont morts. Faut voir à modérer ces propos et à pas taper tout ce qui se déplace en déambulateur sous prétexte d'une inadéquation au monde d'aujourd'hui.
Cimer et bisous.
[^] # Re: Très bon article sauf...
Posté par ɹǝıʌıʃO . Évalué à 3.
En français moderne, on a généralement tendance à accorder selon le sens et non selon la grammaire. En général, les gens disent que la basse de l'opéra est grand et fort plutôt que grande et forte. Les francophones de 2009 ont la syllepse facile, et l'extension à des expressions comme la ministre ou la professeure en est une suite logique.
Ce genre de choses n'est d'ailleurs pas réservé au français. Pour l'anecdote, j'habite actuellement en Israël, où l'expression traditionnelle בעלי ("mon mari", qui signifie à la base "mon propriétaire") est de plus en plus souvent remplacée chez les jeunes par אישתי ("mon homme"). On peut trouver que c'est, au choix, une horreur qui foule au pied les traditions multimillénaires ou une adaptation de la langue aux comportements modernes.
[^] # Re: Très bon article sauf...
Posté par Dr BG (site web personnel) . Évalué à 6.
Moui, mais professeur est un nom et non un adjectif. Il n'y a pas lieu de l'accorder. Les amis masculistes, demandons à être traîtés comme des persons (masculin pluriel de personne ! Ah non... ) comme les autres.
[^] # Re: Très bon article sauf...
Posté par drakkar . Évalué à 2.
Certaines fonctions et titres (éventuellement honorifiques ou protocolaires) sont incarnés par une personne qui peut-être de sexe masculin ou féminin. On ne traite généralement que ces deux cas...
Or, il est particulièrement commun de voir les titres ou fonctions au masculin. C'est tout simplement parce-qu'il s'agit d'une réminiscence du neutre relatif à la fonction ou au titre, neutre qui se traduit majoritairement par le masculin en français.
Ainsi on parle de docteur, professeur, chambellan, écrivain, ministre, maire, etc.
Pour faire la distinction, on dira par exemple Madame le Maire. Puis, citant sont nom, Madame Unetelle, on s'y référera en parlant d'elle (pour désigner la personne humaine) ou de lui (pour désigner la fonction représentée).
Mais il existe tout aussi bien des fonctions, tout en étant au féminin, sont incarnés potentiellement par un homme: une vigie, une estafette, une sentinelle, pour le domaine militaire.
Notons qu'on en est arrivé parfois à quelques situations cocasse, typiquement comme dans l'armée, où un subordonné pouvait se voir dire Monsieur à son supérieur qui pourtant est une femme.
Quant à avoir des hommes obtenir le titre de sage-femme, oui cela est possible, on parlera parfois de " maïeuticien " [ http://fr.wiktionary.org/wiki/maïeuticien ] selon le terme originel.
Eh oui, car là c'est au tour de l'homme de vouloir masculiniser le titre. :-)
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.