- Annonce

[Olena] Olena 1.0 beta available - Olena 1.0 bêta disponible
by Guillaume Lazzara 15 Dec '08

15 Dec '08

The Olena team is proud to announce that snapshots of Olena 1.0 beta are now available. This is a major version of the Olena generic and efficient image processing library developed at the LRDE (http://olena.lrde.epita.fr) This version has been completely rewritten from scratch and is not compatible with the previous version. The current snapshots do not include Swilena yet. More information is available at: http://www.lrde.epita.fr/Olena/Olena100beta Les membres de l'équipe Olena sont fiers de vous annoncer la sortie d'Olena 1.0 en bêta. Il s'agit d'une version majeur d'Olena, la bibliothèque générique et performante de traitement d'image dévelopée au LRDE (http://olena.lrde.epita.fr) Cette version a été entièrement réécrite et n'est pas compatible avec les versions précédentes. Les archives fournies actuellement ne contiennent pas encore Swilena. Pour plus d'informations, consulter : http://www.lrde.epita.fr/Olena/Olena100beta -- Guillaume Lazzara, for the Olena Team. z(a)lrde.epita.fr

1 0

Séminaire Performance et Généricité du LRDE le Mercredi 26 novembre 2008
by Akim Demaille 12 Nov '08

12 Nov '08

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 Mercredi 26 novembre 2008 (14h-17h). Au programme: * 14h: Mesure de Performance et Généricité à EDF R&D -- Laurent Plagne ; EDF R&D Clamart. L'outil BTL++ (Benchmark Template Library in C++) développé à EDF R&D se fonde sur la programmation générique et permet de mesurer les performances de noyaux de calcul intensif. Il s'agit d'une bibliothèque générique dont la conception vise à faciliter l'extensibilité par l'utilisateur. Récemment, le lien entre les mesures de performance et la génération automatique de bibliothèques optimales à été étudié pour le domaine de l'algèbre linéaire dense. Quelques mesures de performance de noyaux de calcul à base d'"Expression Template" permettront d'illustrer l'usage de l'outil BTL++. Laurent Plagne received his PhD in physics from the University of Grenoble, France. He is a research engineer at Electricité de France, one of largest electricity utilities in Europe. His research interests include parallel PDE solvers, High Performance Computing through Object Oriented and Generic programming. The management of the ever growing complexity of simulation tools in the industrial context is a recurring topic in his work. He co-authored a versatile library for performance assessment (BTL++) and is the main developer of a block-recursive linear algebra library in C++ (LEGOLAS++). * 15h15: Bibliothèque générique multi-cible d'algèbre linéaire -- Wilfried Kirschenmann, EDF R&D La multiplication des architectures HPC (CPU multi-coeurs, GPU, Cell,..) implique autant de spécialisations des codes de calcul intensif. Dans un contexte industriel, les codes de calcul multi-cibles posent alors des problèmes de maintenance et d'évolutivité importants. La génération automatique des spécialisations est une réponse à ces problématiques. Pour le domaine de l'algèbre linéaire, nous étudions les possibilités offertes par la programmation générique. La mise au point d'une bibliothèque générique multi-cible et performante constitue le sujet de départ d'une thèse dédiée aux méthodes de développement HPC qui minimisent l'adhérence aux machines cibles. Wilfried Kirschenmann est diplômé de l'école supérieure d'électricité. Il a travaillé sur la parallélisation d'un solveur de neutronique sur processeur graphique lors de son stage de fin d'étude à EDF R&D. Il va débuter une thèse sur les méthodes de développement HPC qui minimisent l'adhérence aux machines cibles. 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.

1 0

[CFP] 2nd European Lisp Symposium, Milan, May 27-29 2009
by Didier Verna 10 Nov '08

10 Nov '08

************************************************************************ * * * 2nd European Lisp Symposium (ELS 2009) * * * * Milan, Italy, May 27-29, 2009 * * Università degli Studi di Milano-Bicocca * * * ************************************************************************ Important Dates: **************** * Submission deadline January 25, 2009 * Author notification February 27, 2009 * Final paper due March 23, 2009 * Symposium May 27-29, 2009 Accepted research papers will be invited for a special issue of the Journal of Universal Computer Science (J.UCS). See the symposium website for more details. Scope: ****** The purpose of the European Lisp Symposium is to provide a forum for the discussion of all aspects of the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2009 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, and so on. Topics include, but are not limited to: * Language design and implementation techniques * Language integration, interoperation and deployment * Language critique and future directions * Reflection and meta-level architectures * Educational approaches * Software adaptation and evolution * Configuration management * Artificial intelligence * Large and ultra-large-scale systems * Development methodologies * Development support and environments * Persistent systems * Scientific computing * Parallel and distributed computing * Data mining * Semantic web * Dynamic optimization * Innovative applications * Hardware and virtual machine support * Domain-oriented programming * Lisp pearls * Experience reports and case studies We also encourage submissions about past approaches that have been largely forgotten about, as long as they are presented in a new setting. We invite submissions in two categories: original contributions and work-in-progress papers. * Original contributions have neither been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art, or presents old results from a new perspective. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. * Work in progress describes ongoing work that is not ready for publication yet, but would benefit strongly from feedback by other researchers, practitioners and educators. Such contributions will not be published in the symposium proceedings, but will be made available at the symposium website. The work-in-progress track will be organized as a series of writers' workshops where authors work together to improve their papers. Some authors who submit papers for the main track will be suggested to contribute their work in this track instead, if the program committee decides that their submission is not yet ready for a publication. The writers' workshops will take place at the symposium in Milan on May 27, 2008. Program Chair: ************** * António Leitão, Technical University of Lisbon, Portugal Local Chair: ************ * Marco Antoniotti, Università Milano Bicocca, Italy Program committee: ****************** * Giuseppe Attardi, Università di Pisa , Italy * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Irene Durand, Université Bordeaux 1, France * Marc Feeley, Université de Montréal, Canada * Ron Garret, Amalgamated Widgets Unlimited, USA * Gregor Kiczales, University of British Columbia, Canada * Scott McKay, ITA Software, Inc., USA * Peter Norvig, Google Inc., USA * Julian Padget, University of Bath, UK * Kent Pitman, PTC, USA * Christian Queinnec, Université Pierre et Marie Curie, France * Christophe Rhodes, Goldsmiths College, University of London, UK * Robert Strandh, Université Bordeaux 1, France * Mark Tarver, Lambda Associates, UK * Didier Verna, EPITA Research and Development Laboratory, France * JonL White, TheGingerIceCreamFactory of Palo Alto, USA * Taiichi Yuasa, Kyoto University, Japan Important Dates: **************** * Submission deadline January 25, 2009 * Author notification February 27, 2009 * Final paper due March 23, 2009 * Symposium May 27-29, 2009 For more information, see http://european-lisp-symposium.org -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

L'air de rien 15
by Daniela Becker 22 Oct '08

22 Oct '08

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

1 0

Séminaire Performance et Généricité du LRDE le 5 novembre 2008
by Akim Demaille 15 Oct '08

15 Oct '08

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.

1 0

Publication: SAC'09: TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing
by Roland Levillain 11 Oct '08

11 Oct '08

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

1 0

Séminaire Performance et Généricité du LRDE le 24 septembre 2008
by Daniela Becker 15 Sep '08

15 Sep '08

Bonjour, 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 24 septembre 2008. Au programme: * 14h: Systèmes, algorithmes et applications : Efficacité et utilité des systèmes parallèles. Gaétan Hains, LACL, Université de Paris Est, Créteil * 15h15: Outils pour le parallèlisme : apports de la programmation générative Joël Falcou, LRI, Université de Paris-Sud, Orsay 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. -- Daniela Becker

1 0

Publication: FSMNLP'08: An XML format proposal for the description of weighted automata, transducers, and regular expressions
by Alexandre Duret-Lutz 28 Jul '08

28 Jul '08

We are happy to announce that the following paper has been accepted for publication at the 7th International Workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) that will take place at Ispra, Italia, on September 11-12, 2008: An XML format proposal for the description of weighted automata, transducers, and regular expressions Akim Demaille (1), Alexandre Duret-Lutz (1), Florian Lesaint (1), Sylvain Lombardy (2), Jacques Sakarovitch (3), and Florent Terrones (1) (1) LRDE, EPITA (2) IGM, Univ. Marne-la-vallée (3) LTCI, CNRS/ENST http://publis.lrde.epita.fr/200809-FSMNLP We present an XML format that allows to describe a large class of finite weighted automata and transducers. Our design choices stem from our policy of making the implementation as simple as possible. This format has been tested for the communication between the modules of our automata manipulation platform Vaucanson, but this document is less an experiment report than a position paper intended to open the discussion among the community of automata software writers. -- Alexandre Duret-Lutz

1 0

[Séminaire des étudiants CSI] : mercredi 9 juillet 2008
by Daniela Becker 07 Jul '08

07 Jul '08

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu ce mercredi 9 juillet 2008 à 14 heures en Amphi masters au KB. ----------------------------------------------------------------------- Le programme : *Transformers et Vaucanson* http://publis.lrde.epita.fr/Seminar-2008-07-09 TRANSFORMERS 14h00 : Implémentation d’une extension du C++ dans Transformers : class namespace -- Vincent Ordy 14h30 : Centaur : Une infrastructure générique simplifiant les transformations de C++ -- Cedric Raud 15h00 : Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers -- Warren Seine VAUCANSON 15h45 : Interface graphique de Vaucanson -- Florent D'Halluin 16h15 : Amélioration de la composition des transducteurs dans Vaucanson –- Jerome Galtier ----------------------------------------------------------------------- Les Résumés des exposés : ************************** TRANSFORMERS Implémentation d’une extension du C++ dans Transformers : class namespace -- Vincent Ordy Les classes en C++ sont fermées, c’est-à-dire qu’on ne peut rien leur ajouter une fois leur définition terminée. Or, la plupart du temps, les programmeurs séparent la définition de l’implémentation, ce qui oblige à utiliser une syntaxe répétitive, en particulier dans le cas de patrons de classes ou de classes imbriquées. On se propose donc de faire une extension de la grammaire du C++ permettant via une syntaxe proche de celle des namespaces de définir plus aisément des méthodes ou attributs statiques déjà déclarés dans la définition de la classe. Dans ce but, nous utiliserons la grammaire du C++ implémentée dans Transformers, et des transformations écrites en Stratego. Centaur : Une infrastructure générique simplifiant les transformations de C++ -- Cedric Raud La grammaire du standard du C++ n’ayant pas été conçue pour etre aisément analysable, son utilisation dans le cadre de la manipulation de programme est comparable à la complexité de l’AST généré par celle-ci. Le rôle de Centaur au sein de Transformers est ainsi de fournir une infrastructure générique permettant de manipuler et de synthétiser cet AST : les transformations de programmes sont simplifiées gràce a un accès plus aisé aux informations contenues dans l’arbre syntaxique et ses annotations. Grâce à cette bibliotheque, les tâches répétitives et souvent génératrices d’erreurs, comme l’énumération des éléments d’un conteneur ou la recherche des classes parentes d’une classe, seront factorisées par un ensemble de fonctions correspondant à un modèle modulaire et extensible. 15h00 Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers -- Warren Seine Malgré sa sensibilité au contexte, le C++ est analysable avec une grammaire hors-contexte mais ambigüe. La désambiguïsation est ensuite nécéssaire pour sélectionner le seul arbre syntaxique sémantiquement valide. Transformers est une collection d’outils pour la transformation de programmes C++ qui utilise les grammaires attribuées pour réaliser cette étape. Une des plus difficiles ambiguités dans le langage concerne la métaprogrammation. Puisque du code est généré à l’instanciation, tous les types ne sont pas nécéssairement connus à la déclaration. La vérification des types est donc obligatoire pour traiter totalement le cas des patrons, ce qui pose un véritable défi. Ce rapport se concentre sur la désambiguïsation des patrons de type et détaille les problèmes et leur méthode de résolution, afin de fournir une meilleure plateforme de manipulation de sources. VAUCANSON Interface graphique de Vaucanson -- Florent D'Halluin Vaucanson est une plateforme de manipulation d’automates finis. Débuté en 2002, le projet attire de plus en plus d’utilisateurs. De ce fait, une interface utilisateur efficace est nécessaire. Pour l’utilisateur non expert, la manipulation d’automates peut s’effectuer via taf-kit, une suite d’outils accessible en ligne de commande. Une première interface graphique avait été esquissée en 2005, mais son fonctionnement était lent et compliqué car elle s’appuyait sur taf-kit pour réaliser chaque opération. Cette nouvelle interface graphique, branchée directement sur le coeur de la bibliothèque pour plus d’efficacité, simplifie la manipulation d’automates et rend accessible les algorithmes génériques de Vaucanson. Amélioration de la composition des transducteurs dans Vaucanson –- Jerome Galtier Vaucanson est une bibliothèque dont un des buts est de permettre un accès facilité à des automates et aux algorithmes qui leur sont associés. Elle met donc à notre disposition plusieurs algorithmes standard (et d’autres moins conventionnels) tels que la déterminisation, le calcul des états accessibles etc. L’un de ces algorithmes est la composition de transducteurs. Celuici n’est pas d’une nature aisée à aborder et son implémentation dans Vaucanson est perfectible. Améliorer l’implémentation d’un tel algorithme est alors un bon moyen de mettre à l’épreuve certains choix de conception dans Vaucanson. -- Daniela Becker

1 0

CfParticipation: ELW'08, July 7, Paphos, Cyprus
by Didier Verna 30 Jun '08

30 Jun '08

+------------------------------------------------------------+ | CALL FOR PARTICIPATION | | 5th European Lisp Workshop | | July 7, Paphos, Cyprus - co-located with ECOOP 2008 | +------------------------------------------------------------+ The 5th European Lisp Workshop will be held on July 7, in Paphos, Cyprus, as part of this year's European Conference on Object-Oriented Programming (ECOOP 2008). The workshop will feature two keynote presentations: "Lisp for the 21st Century", by Mark Tarver, and "A detailed look at the Lisp Nature of Clojure", by Rich Hickey. We have also accepted four scientific papers about description logic systems, data parallelism for quantum simulation, interactive code generation, and a rant about make-method-lambda. Get all the programme details at http://elw2008.bknr.net/programme. Registration ************ Main registration is with ECOOP via the following page: https://cyprusconferences.org/ecoop08/form_ecoop.htm There is still room for attending the workshop, so if you want to participate, please contact me by email as well (didier(a)lrde.epita.fr) -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0