Bonjour,
nous avons le plaisir de vous présenter le n°15 du bulletin du LRDE.
C'est un numéro Spécial Rentrée qui présente les activités de recherche,
de développement et d'enseignement du LRDE ainsi que ses membres avec,
d'une part le changement à la tête du labo : après plus de cinq ans Akim
Demaille passe la main à Olivier Ricou. D'autre part, nous sommes
heureux d'accueillir deux nouveaux permanents : Dalila Benboudjema,
enseignant-chercheur, et Guillaume Lazzara, Ingénieur de Recherche.
Sont présentés également plusieurs articles scientifiques qui ont été
acceptés à des conférences internationales.
Vous trouverez dans ce numéro également une présentation de l'option
Calcul Scientifique et Image (CSI) à l'intérieur du cursus EPITA.
Vous pouvez télécharger le bulletin en couleur à la page suivante :
http://publis.lrde.epita.fr/200810-l-air-de-rien-15
--
Daniela Becker
Chers collègues,
la prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
5 novembre 2008.
Au programme:
* Représentation efficace des données complexes dans un intergiciel
schizophrène --- Thomas Quinot, AdaCore
Dans un intergiciel schizophrène, une représentation intermédiaire
des interactions entre composants applicatifs est construite et
manipulée. Cette représentation est neutre vis-à-vis du choix d'une
personnalité application (interface entre les composants et
l'intergiciel) et d'une personnalité protocolaire (interface entre
intergiciels distants). Elle rend possible le découplage entre ces
deux aspects. Cette représentation doit préserver la structure des
données associées aux interactions. Cependant, sa construction in
extenso s'avère coûteuse dans le cas de données composites
complexes. Cette conversion peut être économisée en remplaçant la
réplication complète de la structure par la définition d'un
emballage « fantôme » autour de celle-ci (et de chacun de ses
composants) : il suffit que cet emballage fournisse les accesseurs
permettant de parcourir la structure et de construire un message la
représentant. Après avoir présenté un exemple concret de
représentation neutre des données structurées, nous montrons
comment cette optimisation peut être mise en oeuvre pour réaliser
de manière efficace la fonction de représentation dans un
intergiciel schirophrène. Nous concluons cette discussion par une
évaluation du gain de performance ainsi obtenu.
* Construire une application robuste sans faire exploser les coûts
--- Samuel Tardieu, TELECOM ParisTech
Le langage Ada est connu pour sa sûreté intrinsèque : son typage
fort, ses mécanismes de contrôle de valeurs et son système
d'exceptions notamment permettent d'avoir une grande confiance en
les programmes. Comme dit le vieux proverbe, « En Ada, quand ça
compile, ça marche ». Cependant, une des puissances d'Ada provient
également de ses systèmes de vérification lors de l'exécution du
programme. Par exemple, si une valeur se trouve en dehors de
l'intervalle qui lui était autorisé, une exception, rattrapable par
le langage, sera automatiquement levée. Ce système de vérification
dynamique a bien évidemment un coût. Nous verrons comment le
système de compilation GNAT mélange analyse statique et
vérification lors de l'exécution pour fournir la totalité des
garanties définies par le langage tout en minimisant les surcoûts
et la perte de performance.
L'entrée du séminaire est libre.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
Merci de bien vouloir diffuser cette information le plus largement possible.
We are happy to announce that the following paper has been accepted
for publication at the 24th Annual ACM Symposium on Applied Computing
(SAC 2009) that will take place at Waikiki Beach, Honolulu, Hawaii,
USA, on March 8 - 12, 2009:
Akim Demaille (1), Roland Levillain (1,2), and Benoît Sigoure (1)
TWEAST: A Simple and Effective Technique to Implement
Concrete-Syntax AST Rewriting Using Partial Parsing
http://publis.lrde.epita.fr/200903-SAC
(1) EPITA Research and Development Laboratory (LRDE)
(2) Université Paris-Est, LABINFO-IGM, UMR CNRS 8049, A2SI-ESIEE
ASTs are commonly used to represent an input/output program in
compilers and language processing tools. Many of the tasks of these
tools consist in generating and rewriting ASTs. Such an approach can
become tedious and hard to maintain for complex operations, namely
program transformation, optimization, instrumentation, etc. On the
other hand, concrete syntax provides a natural and simpler
representation of programs, but it is not usually available as a
direct feature of the aforementioned tools. We propose a simple
technique to implement AST generation and rewriting in general purpose
languages using concrete syntax. Our approach relies on extensions
made in the scanner and the parser and the use of objects supporting
partial parsing called Text With Embedded Abstract Syntax Trees
(TWEASTS). A compiler for a simple language (Tiger) written in C++
serves as an example, featuring transformations in concrete syntax:
syntactic desugaring, optimization, code instrumentation such as
bounds-checking, etc. Extensions of this technique to provide a
full-fledged concrete-syntax rewriting framework are presented as
well.
--
Roland Levillain - LRDE/EPITA - A2SI/ESIEE/UMLV-Paris Est
Laboratoire de Recherche et de Développement de l'EPITA (LRDE)
14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France
Tél. : 01 53 14 59 45 - Fax : 01 53 14 59 22 - www.lrde.epita.fr