Knowledge Tree

researcher / Frédéric Loulergue

Frédéric Loulergue

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Conception de langages fonctionnels pour la programmation massivement parallèle

Directed Thesis:

Génération automatique de code parallèle isochrone

Static Analysis for BSPlib Programs

Aide à la vérification de programmes concurrents par transformation de code et de spécifications

Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage

Extension paramétrée de compilateur certifié pour la programmation parallèle

Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation

Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels

Squelettes algorithmiques méta-programmés : implantations, performances et sémantique

Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées

Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs : sémantiques, implantations et certification