去院系
职员电话号码
项目
开发软件
刊物
HAL
http://www-apr.lip6.fr
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.
RSS

巴黎六大计算机科学实验室日志 (APR)

  • Ajouter à votre agenda2017-12-14 - Language-integrated queries: a BOLDR approach
    时间安排 : 4: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 agenda2017-12-15 - Link Stream Edition: Sparse Split and Bi-Sparse Split
    时间安排 : 1: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
网站导航 |