Recherches
Langages de programmation
et outils
Depuis sa fondation en 2012 par Dmitri Boulytchev, ce laboratoire a mené des recherches scientifiques dans le domaine de la théorie des langages de programmation, en mettant l'accent sur les sujets suivants :
- Programmation relationnelle et logique
- Modèles de mémoire faible et concurrence
- Métaprogrammation, métacalculs et évaluation partielle
- Sémantique et types des langages de programmation
- Programmation certifiée et preuves mécanisées
- Programmation fonctionnelle
- Théorie des langages formels
L'autre axe important du laboratoire est l'éducation. Le laboratoire, qui est accessible aux étudiants de premier cycle et aux diplômés, permet aux élèves de participer à des projets de recherche et offre la possibilité de rejoindre des programmes de doctorat connexes. De plus, les membres du laboratoire ont élaboré, enseigné et assisté à des cours sur les thèmes suivants :
- Ingénierie de compilation
- Métacalculs
- Langages formels
- Sémantique des langages de programmation
- Introduction à l'ingénierie de preuves mécanisées dans Coq
De plus, le laboratoire réalise les activités suivantes :
- Un séminaire hebdomadaire sur la théorie et la pratique des langages de programmation.
- Cours gratuits publics sur des sujets en rapport avec les centres de recherche du laboratoire.
- Stages d’été chez JetBrains : ils offrent aux étudiants l’occasion de travailler dans l’entreprise pendant 1-3 mois.
- Mini-conférence annuelle. Lors de cet événement, les étudiants du laboratoire présentent les résultats de leurs travaux de fin d'études, de leurs thèses de licence et de master, et de leurs stages d'été.
- Un séminaire sur la lecture et la rédaction de d'articles, où les participants développent les compétences spécifiques requises pour lire, analyser et rédiger des articles de recherche.
Les nouveaux membres sont toujours les bienvenus au laboratoire. La meilleure façon de rejoindre le groupe est d'assister à notre séminaire hebdomadaire ou à nos cours publics, puis de choisir l'un des sujets de recherche disponibles.
Projets
Actif
Patching OCaml and ML-like languages
Ce projet a comme ambition d'apporter de nouvelles fonctionnalités dans des langages de type apprentissage machine et de fournir des correctifs remédiant à des fonctionnalités de langage occasionnelles ou mal conçues, telles que les variantes polymorphiques, les modèles actifs et les modules.
Metacomputations
L'objectif de ce projet est de mener des recherches en techniques de métacalcul, et de les appliquer, notamment pour l'évaluation partielle, la supercompilation et la distillation.
Inactif
Semi-local Algorithms
Le but de ce projet est de développer des algorithmes LCS et SA semi-locaux, et de les appliquer.
Séminaires
Ce laboratoire organise des séminaires toutes les semaines et ils sont ouverts à tous. Au cours de ces séminaires, nous parlons des résultats de recherche, classiques comme récents, portant sur des langages de programmation et des outils de langage.
N'hésitez pas à rejoindre notre groupe meetup pour rester informé·e des sessions à venir.
Nous recommandons nos séminaires aux responsables de projet, étudiants de troisième cycle et tous les étudiants participant au laboratoire.
Publications
Écoles saisonnières
L'idée derrière l'université d'été/d'hiver est de faire se rencontrer des étudiants motivés, des étudiants de troisième cycle, des développeurs de logiciels et des chercheurs de classe mondiale. Un sujet spécifique est étudié dans chaque formation, ce qui permet aux participants de se plonger dans une étude intensive et de suivre un cours complet, qui peut facilement durer tout un semestre, en seulement cinq jours. Les sujets ont été sélectionnés pour leur nature avancée dans le domaine des langages de programmation, des compilateurs, du développement des outils de langage.