Invitation à la soutenance de thèse de Benjamin Canou

Bonjour,

J'ai le plaisir de vous convier à la soutenance de ma thèse intitulée
"Programmation Web Typée", qui s'articule autour des problématiques de
programmation du navigateur et de manipulations sûres du document.

La soutenance aura lieu le 4 octobre 2011 à 10h45, en salle 25-26-105,
sur le campus de Jussieu.

Un pot suivra, auquel vous êtes aussi conviés, en salle 25-26-101.

----------------------------------------------------------------------

Résumé de la thèse :

Le but de cet thèse est de contribuer à rendre la programmation Web plus
flexible et plus sûre qu'elle ne l'est avec les solutions répandues
actuellement. Pour ceci, proposons une solution dans la lignée des
langages de la famille ML, qui laisse un maximum de liberté au
programmeur de part son côté multi-paradigmes, tout en offrant un degré
de sûreté important grâce au typage statique.

Dans une première partie, nous montrons qu'il est possible de programmer
le navigateur sans se plier au style de JavaScript. Notre solution est
OBrowser, une implantation en JavaScript de la machine virtuelle OCaml.
L'implantation prend en charge l'ensemble du langage OCaml et de sa
bibliothèque, y compris le modèle de concurrence préemptif. Nous
présentons de plus un mécanisme d'inter-opérabilité entre la couche
objet de JavaScript et celle d'OCaml, permettant d'utiliser de façon
bien typée l'environnement du navigateur avec les objets d'OCaml.

Dans une seconde partie, nous fournissons une API de manipulation du
document plus sûre et de plus haut niveau que le DOM des navigateurs. En
particulier, nous cherchons à éliminer les déplacements implicites
effectués par le DOM pour maintenir la forme d'arbre, qui limitent les
possibilités de typage statique. Nous donnons d'abord fDOM, un modèle
formel minimal similaire au DOM. Puis nous proposons cDOM, un modèle
alternatif où les déplacements sont remplacés par des copies. Nous
décrivons ensuite FidoML, un langage basé sur ML, permettant les
manipulations bien typées du document grâce à l'utilisation de cDOM.
Dans toute cette partie, nous faisons attention à ce que les solutions
données soient aussi adaptables que possible.

Dans une troisième partie, nous montrons comment les travaux, jusqu'ici
principalement présentés dans le cadre du navigateur, s'appliquent à un
contexte multi-tiers. Nous donnons d'abord un tour d'horizon des
plates-formes multi-tiers proches issues de la recherche. Nous décrivons
en particulier les solutions qu'elles apportent à un ensemble de
problématiques spécifiques à la programmation Web. Puis nous concluons
en présentant les grandes lignes d'un langage multi-tiers mettant à
profit les travaux des deux parties précédentes dans les solutions à ces
différentes problématiques.

----------------------------------------------------------------------

Composition du jury :

- Emmanuel Chailloux, directeur,
Professeur à l'Université Pierre et Marie Curie
- Vincent Balat, directeur,
Maître de Conférences à l'Université Paris Diderot
- Jacques Garrigue, rapporteur,
Professeur à l'Université de Nagoya,
- Peter Van Roy, rapporteur,
Professeur à l'Université Catholique de Louvain
- Christian Queinnec,
Professeur à l'Université Pierre et Marie Curie
- Giuseppe Castagna,
Directeur de Recherches au CNRS
- Manuel Serrano,
Directeur de Recherches à l'INRIA Sophia Antipolis
- Alain Frisch,
Directeur Technique, LexiFi

----------------------------------------------------------------------

Pour un récapitulatif de ces informations : http://canou.fr/soutenance/

Benjamin Canou.