Génération automatisée de code pour système distribué

L’équipe construit une expertise complémentaire dans le développement de générateurs de code à partir de langages spécifiques à un domaine (domain-specific language ou DSL), du développement de compilateurs et explore actuellement le domaine de la génération interactive de code et la finalisation de spécifications partielles par inférence. Une plateforme de génération de code à partir d’un DSL compact de haut niveau a été développée.

Équipes

Nouvelles récentes

  • 29 janvier : Journée TECHNO au CRIM autour du 5G
    15/01/2019

    La 5G : transformation des modèles d’affaires, impacts socioéconomiques et nouveau paysage technologique. Outillez-vous pour profiter au maximum de ces nouvelles opportunités!

    +

Événement à venir

  • ICCSP 2019
    21/01/19 0h00
    Kuala Lumpur, Malaysia
    Le CRIM présentera un article lors de la 3e édition de l'International Conference on Cryptography, Security and Privacy, qui se tiendra du 19 au 21 janvier 2019 à Kuala Lumpur, Malaisie.
    +

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +