vers département
Annuaire
Projets
Logiciels
Publications
HAL
http://www-apr.lip6.fr
Photo Responsable

Équipe : APR - Algorithmes, Programmes et Résolution


Responsable : Emmanuel Chailloux Site Jussieu 25-26/316

Brève présentation

Les thématiques de l’équipe APR concernent l’algorithmique et les langages de programmation, sous des aspects fondamentaux à la fois théoriques et pratiques, en combinant l’approche langage (conception, implantation) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité) dans des domaines d’application qui vont de la programmation des nouvelles architectures de machines au développement de langages pour la concurrence et la mobilité, en passant par le test logiciel. De façon générale, nous développons dans l'équipe APR, des approches méthodologiques, formelles et mathématisées, en sémantique et en combinatoire, pour parvenir jusqu’à des objectifs très concrets, dans la construction de prototypes logiciels expérimentaux et la réalisation d’applications industrielles.
L'équipe APR s'articule autour de deux projets de recherche : le projet Génération Aléatoire (GA), et le projet Web, Langages et Cohérence (WLC). Dans le projet GA, soutenue par le contrat ANR MAGNUM (Méthodes Algorithmiques de Génération Aléatoire Non Uniforme, Modèles et applications), nous développons des méthodes de combinatoire analytique pour la génération aléatoire par la méthode de Boltzmann. Ce modèle permet de générer des objets combinatoires à partir de leur spécification, par des algorithmes génériques et efficaces, avec des applications nombreuses, particulièrement dans le test logiciel et la modélisation de grands graphes. Dans le projet WLC, soutenu par le contrat ANR PWD (Programmation Web Diffuse), nous développons des langages de programmation pour le Web, pour améliorer divers aspets autour des projets HOP et OCsigen : sémantique formelle de Hop pour garantir la sécurité de l'interaction entre les parties serveur et clients; pour OCsigen, typer l’interaction et la manipulation du DOM pour garantir le typage fort durant toute l’exécution de l’application.

Génération aléatoire, Structures Combinatoires, Analyse d'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Sûreté, Efficacité, Programmation Web Diffuse. Langage et Calcul.

Aucune manisfestation prévue actuellement.

Archives

Sélection de publications

Toutes

Contact

Emmanuel.Chailloux (at) nulllip6.fr

 Mentions légales
Carte du site |