переход к департаментам
Программное обеспечение
Photo Responsable

Подразделение : APR - Algorithms, Programmes and Resolution

Директор Департамента : Emmanuel Chailloux Site Jussieu 25-26/316

Краткая презентация

The APR team works on thematics dealing with algorithmics and programming langages, from both theoretical and practical fundamental aspects, combining the langage approach (design, implementation) and the algorithmic requirements (modeling, complexity analysis) in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility and software testing. More generally, in the APR team, we develop formal and mathematically founded methological approaches, in the domains of semantics and combinatorics, in order to achieve concrete goals such as experimental software prototypes, as well as development of industrial applications.
The APR team revolves around two research projects : the project Random Generation (RG), and the project Web, Languages and Coherence (WLC). In the RG project, supported by the ANR project MAGNUM (Algorithmic Methods for Non Uniform Random Sampling, Models and Applications), we develop methods of analytic combinatorics for random sampling with Boltzmann method. This model allows for sampling combinatorial objects from their specification, using efficient and generic algorithms, with many applications, especially in software testing and complex networks. The WLC project is supported by an ANR project nicknamed PWD for "Programming Diffuse Web". In the WLC project, we develop new programming languages for the Web to enchance various aspects around HOP and OCsigen: formal semantics of Hop to ensure the security of the interactions between clients and servers. Around OCsigen, the PWD project studies how to handle the DOM in a strong typing context during all the lifecycle of the application.

Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications. Design and implementation of Programming Languages, Fiability and Efficiency, Programming Diffuse Web. Language and Computation.

События LIP6 (APR)

  • Ajouter à votre agenda14.12.2017 - Language-integrated queries: a BOLDR approach
    Начало : 16:00
    Докладчики : Julien LOPEZ (LRI - université Paris sud)
    We present BOLDR, a modular framework that enables the evalu- ation in databases of queries containing application logic and, in particular, user-defined functions. BOLDR also allows the nesting of queries for different databases of possibly different data models. The framework ...
    Couloir 15-16 salle 101, 4 place Jussieu - 75005 Paris - https://www-apr.lip6.fr/~chaillou/Public...
  • Ajouter à votre agenda15.12.2017 - Link Stream Edition: Sparse Split and Bi-Sparse Split
    Начало : 13:00
    Докладчики : Binh-Minh Bui-Xuan (UPMC)
    (joint work with Clémence Magnien, Pierre Meyer and Ha Duong Phan)
    Abstract: Recent advances in 'real world' networks analysis make it possible to mine data stemming from human activities. This is brought to daily use by the many notorious toolkits in web analytics (Neo4j),...

    Salle 26-00/428, 4 place Jussieu - 75005 Paris - https://www-apr.lip6.fr/~demangeon/SemAP...

Selected publications



Emmanuel.Chailloux (at) nulllip6.fr

 Mentions légales
Карта сайта |