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

  • Valorisation de la recherche québécoise
    16/09/2020

    Le CRIM salue l’importance que le Ministre Pierre Fitzgibbon accorde à la valorisation de la recherche québécoise et l’ampleur des ressources qu’il y consacrera.

    +

Événement à venir

  • Villes Intelligentes - Événement Les Affaires
    30/09/20 8h50
    Présentation en ligne
    Le CRIM est fier d'être partenaire de la 4e édition de la conférence Villes intelligentes organisée par les Événement Les Affaires. Présentation en ligne.
    +

Publications récentes

  • An end-to-end approach for the verification problem: learning the right distance

    +
  • The Indigenous Languages Technology Project at NRC Canada: an empowerment-oriented approach to developing language software

    +