Florence Plateau
Ingénieur de Recherche et Développement chez Prove & Run depuis janvier 2011

Ma thèse : Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée

Encadrants : Louis Mandel et Marc Pouzet
Thèse soutenue le 6 Janvier 2010
 
En résumé :

Les applications vidéo hautes performances ont besoin de traitement intensif et d’une garantie de sûreté (affichage en temps réel). Dans le domaine du traitement du signal, on utilise traditionnellement du matériel dédié (ASIC), mais en raison de la hausse du coup des masques et de la complexité croissante des applications à réaliser, on recherche désormais un équilibre entre le matériel et le logiciel.

Notre objectif est de concevoir un langage de programmation et un compilateur appropriés à ce type d’applications. Le paradigme synchrone fournit une génération de code ayant des propriétés de temps réel et de ressources bornées, mais impose des contraintes trop fortes lors de la composition de plusieurs flots de données. On cherche donc à étendre le modèle synchrone en relâchant ces contraintes de manière contrôlée, afin de bénéficier d’une composition plus souple, tout en gardant les garanties offertes par les langages synchrones.

Notre langage ”support” est Lucid Synchrone.

Mots-clefs : Langages synchrones, compilation, synthèse d’horloges, réseaux de Kahn, traitement multimédia

Publications :

publications
[1] Louis Mandel et Florence Plateau. Typage des horloges périodiques en Lucy-n. In Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 11), La Bresse, France, Janvier 2011.
bib | en savoir plus | .pdf ]
[2] Louis Mandel, Florence Plateau et Marc Pouzet. Lucy-n: a n-Synchronous Extension of Lustre. In Tenth International Conference on Mathematics of Program Construction (MPC 10), Québec, Canada, Juin 2010.
bib | en savoir plus | .pdf ]
[3] Louis Mandel, Florence Plateau et Marc Pouzet. Clock Typing of n-Synchronous Programs. In Designing Correct Circuits (DCC 10), Paphos, Cyprus, Mars 2010.
bib | .pdf ]
[4] Louis Mandel, Florence Plateau et Marc Pouzet. Lucy-n : une extension n-synchrone de Lustre. In Deuxièmes Journées nationales du GDR Génie de la Programmation et du Logiciel, Pau, France, Mars 2010.
bib | .pdf ]
[5] Louis Mandel, Florence Plateau et Marc Pouzet. Lucy-n : une extension n-synchrone de Lustre. In Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 10), Vieux-Port La Ciotat, France, Janvier 2010.
bib | en savoir plus | .pdf ]
[6] Florence Plateau. Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée. Thèse de doctorat, Université Paris-Sud 11, Janvier 2010.
bib | en savoir plus | .pdf ]
[7] Albert Cohen, Louis Mandel, Florence Plateau et Marc Pouzet. Relaxing Synchronous Composition with Clock Abstraction. In Hardware Design using Functional Languages (HFL 09), York, UK, Mars 2009.
bib | en savoir plus | .pdf ]
[8] Louis Mandel et Florence Plateau. Abstraction d'horloges dans les systèmes synchrones flot de données. In Vingtièmes Journées Francophones des Langages Applicatifs (JFLA 09), Saint-Quentin sur Isère, France, Février 2009.
bib | en savoir plus | .pdf ]
[9] Albert Cohen, Louis Mandel, Florence Plateau et Marc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems. In The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 08), Bangalore, India, Décembre 2008.
bib | en savoir plus | .pdf ]
[10] Louis Mandel et Florence Plateau. Interactive Programming of Reactive Systems. In Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 08), Budapest, Hungary, Avril 2008.
bib | en savoir plus | .pdf ]
[11] Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau et Marc Pouzet. N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems. In ACM International Conference on Principles of Programming Languages (POPL 06), Charleston, South Carolina, USA, Janvier 2006.
bib | .pdf ]
[12] Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau et Marc Pouzet. Synchronizing Periodic Clocks. In ACM International Conference on Embedded Software (EMSOFT 05), Jersey city, New Jersey, USA, Septembre 2005.
bib | .pdf.gz ]
[13] A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et M. Pouzet. Synchronizing Periodic Clocks in Kahn Networks. Rapport technique 5603, INRIA, Juin 2005.
bib | http ]

Enseignement :

J’ai enseigné pendant un an à l’université d’Orsay et pendant quatre ans à l’ IUT d’Orsay, j’y ai encadré des TP de Système-Réseau, ainsi que des TD/TP d’algorithmique, de Programmation d’Interfaces Graphiques et des groupes de projets tutorés. J’ai aussi organisé une activité avec Yannick Moy pour la fête de la science.

Liens :

Lucy-n
Lucid Synchrone
ReactiveML

Comment me joindre?

Mail : pro ( at ) florenceplateau ( dot ) fr



        


This document was translated from LATEX with HEV EA , from BibTEX with bibtex2html, and then formatted with yamlpp