Florence Plateau

Florence Plateau

Attachée Temporaire d'Enseignement et de Recherche

Laboratoire LRI, équipe Démons - Proval

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, Florence Plateau et Marc Pouzet. Lucy-n: a n-synchronous extension of Lustre. In Tenth International Conference on Mathematics of Program Construction (MPC 2010), Québec, Canada, Juin 2010. [ bib ]
[2]	Louis Mandel, Florence Plateau et Marc Pouzet. Clock typing of n-synchronous programs. In Designing Correct Circuits (DCC 10), Paphos, Cyprus, Mars 2010. [ bib ]
[3]	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 ]
[4]	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 ]
[5]	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 ]
[6]	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 ]
[7]	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 ]
[8]	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 ]
[9]	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 ]
[10]	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 ]
[11]	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 \| .html ]

Enseignement :

J'enseigne à l'université d'Orsay. J'ai enseigné 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 :

Lucid Synchrone
ReactiveML

Comment me joindre?

Adresse :
INRIA Saclay – Ile-de-France
Parc Orsay Université - ZAC des Vignes
3, rue Jacques Monod - Bâtiment N
91893 Orsay Cedex
France

Bureau : 109
Téléphone : 01 72 92 59 79
Mail : plateau ( at ) lri ( dot ) fr

CV

This document was translated from L^AT_EX with H^EV ^EA from BibT_EXwith bibtex2html, and then formatted with yamlpp

This document was translated from L^AT_EX by H^EV^EA.