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

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

Axes : SSR (👥👥), TMC (👥👥), ASN (👥).

Responsable :

Antoine Miné Campus Pierre et Marie Curie 25-26/311

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, analyse statique) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité, génération aléatoire) 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é, des applications embarquées critiques au développement Web. 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 est basée sur trois axes suivant un thème de recherche commun autour de la concurrence:


site Web APR

Génération aléatoire, Structures Combinatoires, Analyse d'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Analyses statiques, Typage, Interprétation Abstraite, Concurrence, Programmation Parallèle, Langage et Calcul.
RSS

Le LIP6 organise (APR)

  • Ajouter à votre agenda28/03/2019 - An abstract domain for trees with numeric relations
    Horaire : 15h
    Intervenant(s) : Matthieu Journault (LIP6 - APR)
    We will present the definition of an abstract domain able to infer invariants on programs manipulating trees. Trees are defined over a finite alphabet and can contain unbounded numeric values at their leaves. The domain can infer the possible shapes of the tree values of each var...
    Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Archives

Sélection de publications

Toutes

Contact

Antoine.Mine (at) nulllip6.fr

 Mentions légales
Carte du site |