News

    24 Nov 16
    Talk: Th. Coquand (U Gothenburg): Théorie homotopique et théorie cubique des types

    24 Nov 16
    HDR defense: N. Tabareau sur la complexité logique et calculatoire

    1 Oct 16
    Staff: Two new colleagues join the team: Guillaume Munch (Inria CR2), Hélène Coullon (MA EMN/Chaire Inria)

    26 Apr. 16
    Demo: B. Walid: AccLab, AccMon frameworks, at Inria Nancy, France

    25 Apr. 16
    OpenStack summit: A. Lebre on Massively Distributed Clouds, talk and demo

    10 Mar. 16
    Visit and talk: Fabien Hermenier, U. Nice

    20 Feb. 16
    Project accepted: PrivGen on privacy and genomics, CominLabs excellence cluster

    16-17 Dec. 15
    Visit: Thierry Carrez, Dir. of Engineering at OpenStack

    14 Sep. 15
    Invited talk: Adrien Lebre at the SUCCESS WS, Paris, France

    Sep. 15
    Inria project lab Discovery inaugurated

    9 Mar. 15
    PhD defense: Asad Syed Navi on systems of systems

    20 Jan. 15
    HDR defense: Rémi Douence on non-modular modular composition

    3-6 Dec. 14
    Visit and talk: Guido Salvaneschi on Reactive distributed programming

    18 Nov. 14
    Nicolas Tabareau receives an ERC Starting Grant on new theories for theorem proving

    15 Nov. 14
    Article: A Taxonomy of Domain-Specific Aspect Languages, accepted at ACM Computing Surveys

    10 Nov. 14
    Invited talk: Mario Südholt at Software Technology Group (Prof. Mira Mezini) on efficient Cloud algorithms, Darmstadt, Germany

    31 Oct. 14
    PhD defense: Mayleen Lacouture on chemical programming for the web

Overview

ASCOLA is a joint team (a so-called INRIA project-team) of the Automation and Computer Science Departement of École des Mines de Nantes and INRIA's research center in Rennes. ASCOLA is also a team of Laboratoire Informatique de Nantes Atlantique (LINA, UMR CNRS 6241).

The research team addresses the general problem of evolving software by developing concepts, languages, implementations and tools for building software architectures based on components and aspects. Its long term goal is the development of new abstractions for the programming of software architectures, their representation in terms of expressive programming languages and their correct and efficient implementation.

We pursue the following objectives:

  • New concepts and techniques for the compositional definition and implementation of complex software systems, notably involving crosscutting concerns that cannot be handled modularly using traditional software development approaches.
  • New programming techniques and algorithms for resource management in mutualized environments. We provide language abstractions and implementation techniques for large-scale applications in cloud- and grid-based systems, both on the level of (service-based) applications and (virtualized) infrastructures. We develop solutions, in particular, for the optimization of the energy consumption in such environments (data centers …)
  • We develop new formal theories for and apply formal methods to the correctness of software systems. We aim at developing more powerful techniques for theorem proving and enable complex, often dynamic, software systems to be proven correct using program transformations and analysis techniques. We develop solutions, in particular, for the constructive enforcement of security properties on the level of software systems.

Finally, we apply and validate our results based on real-world applications from numerous domains, notably enterprise information systems, the Cloud, and pervasive systems.

Selected topics

Coq for Homotopy Type Theory (CoqHoTT)

The goal of this ERC project is to go further in the correspondence between proofs and programs which has allowed in the last 20 years the development of useful proof assistants, such as Coq.

Web: CoqHoTT home

Contact: Nicolas.Tabareau@inria.fr

Beyond the Clouds!

An OpenResearch Initiative for a Fully Decentralized IaaS manager

Web: Beyond the Clouds, home

Contact: Adrien.Lebre@inria.fr

Accountability for the Cloud (A4Cloud)

As part of this EU project, we develop more declarative languages for the specification and implementation of accountability properties in the Cloud.

Web: A4Cloud home

Contact: Mario.Sudholt@mines-nantes.fr

internet/overview.txt · Last modified: 2016/11/16 21:34 by sudholt