| COMMUNIQUÉ DE PRESSE | |
 | |
| A.S.F. (chapitre français de l'ACM SIGOPS) | |
| PRIX DE LA MEILLEURE THÈSE EN SYSTÈME D'EXPLOITATION |
Tous les deux ans depuis 2001 l'ASF (Association ACM SIGOPS de France) décerne le prix de la meilleure thèse française en système. Le choix a été a été particulièrement difficile cette année. Quatre thèses de très grande qualité se sont détachées. Avant d'en venir au premier prix, le jury tient à féliciter les compétiteurs suivants :
- Sapan Bhatia, pour un travail de thèse de premier ordre. Sa thèse utilise des techniques empruntées au domaine des langages pour répondre à des défis système. Ses résultats sont remarquables dans des domaines d'application très différents : l'optimisation des couches réseau pour les machines peu puissantes, tels que les téléphones portables ; et l'amélioration des performances des serveurs Web, par optimisation conjointe de l'allocation d'antémémoire (ou cache) et de l'ordonnancement. On remarque particulièrement la qualité des publications internationales (ACM EMSOFT, ACM ISMM et le prix du meilleur article de la conférence IEEE LCN), ainsi que l'effort de prototypage et la rigueur expérimentale de Sapan Bhatia. La recherche en système exige de conjuguer des principes scientifiques, une démonstration expérimentale lourde, et la publication, ce qui est loin d'être facile. Sapan Bhatia a particulièrement bien réussi cet équilibre difficile. C'est pourquoi son travail représente, aux yeux du jury, un exemple à suivre pour les futurs candidats au doctorat en système.
- Gaël Thomas, pour un travail démontrant la capacité de synthèse de l'auteur et un impressionnant effort de mise en œuvre expérimentale. La thèse définit très clairement le concept de machine virtuelle virtuelle (MVV), en l'illustrant sur des cas d'utilisation complets et bien documentés. Gaël Thomas fait une démonstration pratique des qualités d'extension du modèle MVV, l'utilisant pour mettre en œuvre des concepts avancés, aussi divers que le support pour l'analyse d'échappement ou le tissage dynamique d'aspects. Le travail accompli par Gaël Thomas est particulièrement méritoire et l'effort fourni exemplaire.
- Vivien Quéma, pour une thèse de très grande qualité. Elle constitue l'aboutissement de plusieurs années de recherche sur le système Fractal. Les points forts de ce travail sont : (1) une démonstration en «vraie grandeur» du modèle Fractal ; (2) des publications abondantes, par exemple dans la revue «Software Practice and Experience» et dans la conférence DSN 2006. Le jury a particulièrement apprécié la pertinence des réalisations, qui valorisent le travail de recherche. Incontestablement, le travail de Vivien Quéma est de classe internationale. Le jury a relevé l'effort de mise en valeur du travail réalisé.
Après une longue et difficile délibération, le jury attribue le prix de la meilleure thèse système 2006 à Yoann Padioleau pour ses travaux sur le «Logic File System».
Renouvelant profondément un thème éculé, le système de fichiers, les travaux de Yoann Padioleau font preuve d'une grande fraîcheur d'esprit. C'est une vision nouvelle de nos disques durs qui est proposée. Aujourd'hui, l'utilisateur a l'obligation de ranger ses documents, photos, films, courriels, rendez-vous, etc., de façon strictement hiérarchique. Mais pour retrouver l'information, vite perdue, le seul outil disponible est une recherche globale, fourre-tout. La solution proposée dans Logic File System est une représentation «logique» où l'utilisateur peut combiner à loisir des éléments de hiérarchie et des éléments de recherche. Chaque objet est muni de multiples attributs ; par exemple, pour une photo, sa date, les coordonnées de l'endroit, le nom des personnes photographiées, la couleur dominante, etc. La photo est rangée, et peut être recherchée, selon l'ensemble de ces attributs. Cette approche élégante repose sur une fondation théorique solide. Elle a fait l'objet d'une validation expérimentale. La performance et l'utilisabilité en ont été mesurées selon des métriques bien construites et reproductibles. De plus, le Logic File System est librement disponible au téléchargement. Les résultats (insuffisamment publiés malheureusement) ont paru dans la conférence internationale Usenix.
Ce sont ces qualités d'élégance, de rigueur, d'innovation, et le caractère très complet du travail de Yoann Padioleau qui ont emporté la décision.
Jean-Louis Lanet, ingénieur habilité à diriger les recherches chez GemAlto, constate que «cette thèse présente une véritable rupture technologique dans la façon de penser les systèmes de fichiers».
Comme le fait par exemple remarquer Thierry Coupaye, ingénieur R&D de France Télécom : «Ce travail a le mérite d'être abouti, c'est-à-dire qu'il forme un tout complet et cohérent, illustré par une implémentation que tout un chacun peut télécharger sur Internet et installer sur sa machine».
Gilles Muller, professeur à l'école des Mines de Nantes, ajoute : «En effet, Yoann Padioleau utilise LFS au quotidien. Et, il a même pris le risque de l'utiliser pendant sa soutenance pour démontrer la fiabilité de sa réalisation. Toutefois ce sont avant tout les résultats scientifiques, notamment publiés en deux volets à deux conférences USENIX successives qui font la qualité de sa thèse».
Le prix sera remis par un représentant de la société France Telecom au lauréat, Yoann Padioleau, au cours de la Conférence Française de Systèmes d'Exploitation (CFSE), qui se tient à Perpignan du 4 au 6 octobre.
Le prix de thèse française en systèmes est organisé par l'ASF, Association ACM SIGOPS de France <http://www.sigops-france.fr/>. L'ASF regroupe les universitaires, chercheurs et industriels qui travaillent dans le domaine des systèmes. Elle a pour vocation de promouvoir l'innovation dans ce domaine-clef à l'heure de la généralisation de l'Internet et des systèmes embarqués.
Les documents de thèses des candidats que le jury a félicité sont disponibles ici :