Accueil
Enseignant-chercheur en Informatique à l'ENSTA ParisTech, en détachement de l'INRIA
Coordonnées
Michel Mauny
ENSTA ParisTech
32 Boulevard Victor
75739 Paris Cedex 15
Tél : +33 (1) 4552 5388
Email:
Recherche
Je m'intéresse essentiellement aux langages de programmation, au typage, à la programmation fonctionnelle, à différents aspects de la compilation, et à la méta-programmation.
Actuellement ou récemment :
- je me suis intéressé plus spécifiquement à la vérification de typage de valeurs sérialisées avec Grégoire Henry et Emmanuel Chailloux. Il s'agit de garantir que les valeurs sérialisées par Ocaml peuvent être relues de façon sûre, c'est-à-dire sans risque d'invalider les garanties fournies par le typage d'OCaml. Les valeurs sérialisées d'OCaml ne contenant aucune information de type, ce mécanisme n'offre bien sûr aucune garantie quant à l'abstraction de type. Vous trouverez plus d'informations à ce sujet dans cet article en français, ou dans un rapport de recherche... qui se fait attendre.
- la rénovation de quelques aspects de Camlp4 était devenue urgente, suite aux évolutions d'OCaml. J'y ai travaillé avec Nicolas Pouillard;
- Virgile Prevosto, Damien Doligez et moi-même avons travaillé avec Intel Corp. sur une implémentation du langage de programmation reFLect. Nous avons repris ce travail avec Nicolas Pouillard, puis avec Benoît Vaugon afin de réaliser un traducteur de reFLect en OCaml. À cette occasion, j'ai intégré dans OCaml les motifs dits paresseux de sorte à faciliter l'utilisation des données paresseuses et à en améliorer l'efficacité.
Navigation
Les premières lignes de cette page vous conduiront peut-être directement à la page que vous cherchez. Si vous avez un peu de temps, laissez-moi vous accompagner pour cette visite.
Vous trouverez bien sûr sur ces pages une liste de publications, avec les articles accessibles sous forme électronique, lorsque cela est possible.
Les pages « Enseignement » vous conduiront aux pages de cours que je dispense ou que j'ai dispensé dans le passé. Certaines de ces pages datent du siècle dernier, et peuvent avoir des liens cassés. N'hésitez pas à me le faire savoir par courrier électronique si vous le jugez utile: je ferai mon possible pour les remettre à jour.
La page intitulée « Hacks » vous emmènera à des programmes qui m'intéressent ou m'ont interessé, voire même que j'ai peut-être développés. Notez bien que je n'en suis pas toujours l'auteur : pour certains d'entre eux, je ne fais que les redistribuer et/ou tenter de les maintenir.
Bonne visite !