Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

[Séminaire CSI] : mercredi 18 juin 2008

by Daniela Becker

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 18 juin 2008 à 14 heures en Amphi 1 (KB). ----------------------------------------------------------------------- Le programme : *Transformers & Vaucanson* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-18 TRANSFORMERS 14h00 : SCOOL : Programmation générique et concepts -- Maxime Van Noppen 14h30 : Découpage de programme C++ avec Transformers -- Florian Quèze VAUCANSON 15h15 : Parser d’expressions rationnelles -- Vivien Delmon 15h45 : FSMXML et son utilisation dans Vaucanson -- Florian Lesaint 16h15 : Booster les itérateurs de Vaucanson -- Jimmy Ma ----------------------------------------------------------------------- Les Résumés des exposés : ************************** TRANSFORMERS SCOOL : Programmation générique et concepts -- Maxime Van Noppen SCOOL est un langage statique orienté objet qui a été créé afin de pouvoir utiliser toute la puissance du C++ statique de manière plus aisée grâce à une syntaxe plus expressive et agréable. Il n’a pas pour but d’être directement compilé mais d’être traduit en C++. Cette année le travail revêt une importance particulière. En effet, SCOOL est développé en étroite collaboration avec l’équipe de développement de la bibliothèque de traitement d’images MILENA de la plate-forme OLENA ; l’an passé a été pour elle le cadre de grands changements internes. Un des axes majeurs du développement de SCOOL va donc être de s’adapter aux nouveaux paradigmes et aux nouveaux besoins de la bibliothèque. Le second axe essentiel de travail est la poursuite du développement du langage. Cette année le travail va être concentré sur la programmation par concepts qui est une approche permettant de formaliser facilement des contraintes sur la programmation générique. Découpage de programme C++ avec Transformers -- Florian Quèze Transformers est un ensemble d’outils basés sur les technologies Stratego/XT permettant la manipulation de programmes C++. Le découpage de programmes est un domaine important de la transformation de programmes. Nous allons expliquer ce qu’est le découpage de programmes, donner un aperçu rapide de ses différents aspects et montrer comment Transformers pourrait être utilisé comme un outil permettant le découpage de programmes. VAUCANSON Parser d’expressions rationnelles -- Vivien Delmon La bibliothèque Vaucanson permet de manipuler des automates et des transducteurs. Le parser d’expression rationnelles doit donc lui aussi traiter ces différentes structures. Malheureusement l’ancien parser ne permettait pas de lire des expressions rationnelles décrivant des transducteurs ou même des automates à poids autres que des nombres. Le nouveau parser permet de lire des expressions rationnelles contenant des poids de toutes sortes et des alphabets définis sur des produits de monoïdes. Ces différentes améliorations permettent d’interpréter des expressions rationnelles complexes représentant entre autres des transducteurs. FSMXML et son utilisation dans Vaucanson -- Florian Lesaint Nous avions commencé l’année dernière à travailler sur une nouvelle proposition de format XML de description d’automates, devenu FSMXML. Nous présentons cette année une version aboutie de ce travail sous forme de rfc. FSMXML comprend notamment une gestion complète des expressions rationnelles généralisées, il permet de décrire n’importe quel type d’automate et sa gestion est facilitée. Nous avons repensé la structure du parseur XML de VAUCANSON pour s’affranchir d’une mauvaise gestion de dépendances et l’avons mise à jour conformément à la rfc. Booster les itérateurs de Vaucanson -- Jimmy Ma Vaucanson est une bibliothèque générique de manipulation d’automates. Le coeur de sa généricité réside dans le support de types d’automates variés mais aussi sa capacité à s’appuyer sur différentes structures de données. Actuellement, nous avons différentes manières de manipuler des transitions. Cependant, aucune d’entre elles n’est réellement indépendante de la structure de données utilisée. Afin de pallier cela, nous allons nous tourner vers le design pattern Iterator. Nous évaluerons l’impact de ce design pattern sur les performances et sur l’utilisation de la bibliothèque en termes d’écriture d’algorithmes. -- Daniela Becker

16 years, 6 months

L'air de rien 14

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°14 du bulletin du LRDE. C'est un numéro spécial consacré aux quatre sessions du séminaire CSI en juin et juillet 2008 avec les résumés de toutes les présentations. Les étudiants des promos 2009 et 2010 y présenteront leur travail. Dates de séminaire à retenir : les 18 et 25 juin, puis les 2 et 9 juillet 2008. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200805-l-air-de-rien-14 -- Daniela Becker

16 years, 6 months

[ELW'08] Breaking News: 2 keynote speakers

by Didier Verna

Dear colleagues, I'm very happy to announce that the 5th European Lisp Workshop, co-located with ECOOP in Paphos, Cyprus, on July 7th 2008 will feature two keynote presentations: - "Lisp for the 21st Century", by Mark Tarver See http://www.lambdassociates.org - "A Detailed Look at the Lisp Nature of Clojure", by Rich Hickey See http://clojure.sourceforge.net Mark Tarver's coming would not have been possible without the help of our sponsors: LispWorks Ltd, Franz Inc and the Association of Lisp Users. Please pay them a visit as well! http://www.lispworks.com/ http://www.franz.com/ http://www.alu.org/ And remember to register to ECOOP before June 1st, the early registration deadline... Hope to see you in Paphos! -- 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

16 years, 6 months

Publication: MPOOL 2008: Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)

by Roland Levillain

We are happy to announce that the following paper has been accepted for publication at the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008) that will take place at Paphos, Cyprus, on July 7, 2008: Thierry Géraud and Roland Levillain Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) http://publis.lrde.epita.fr/200806-ITICSE Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the requirements over a type (or a parameter) by expressing constraints on its methods and dependent types (typedefs). The upcoming C++0x standard will promote concepts from abstract entities (not directly enforced by the tools) to language constructs, enabling compilers and tools to perform additional checks on generic constructs as well as enabling new features (e.g., concept-based overloading). Most modern languages support this notion of signature on generic types. However, generic types built on other types and relying on concepts to both ensure type conformance and drive code specialization, restrain the interface and the implementation of the newly created type: specific methods and associated types not mentioned in the concept will not be part of the new type. The paradigm of concept-based genericity lacks the required semantics to transform types while retaining or adapting their intrinsic capabilities. We present a new form of semantically-enriched genericity allowing static generic type transformations through a simple form of type introspection based on type metadata called properties. This approach relies on a new Static C++ Object-Oriented Programming (SCOOP) paradigm, and is adapted to the creation of generic and efficient libraries, especially in the field of scientific computing. Our proposal uses a metaprogramming facility built into a C++ library called Static, and doesn't require any language extension nor additional processing (preprocessor, transformation tool).

16 years, 7 months

Séminaire Performance et Généricité du LRDE le 28 Mai 2008

by Didier Verna

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 28 Mai 2008. Au programme: * 14h: Le language BSML Frédéric Gava, LACL, Université de Paris Est, Créteil * 15h15: Programmation parallèle certifiée Frédéric Loulergue, LIFO, Université d'Orléans 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. Prochaine séance: mercredi 24 Septembre 2008 avec Gaétan Hains et Joël Falcou. -- 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

16 years, 7 months

Séminaire Performance et Généricité du LRDE le 30 Avril 2008

by Didier Verna

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 30 Avril 2008. Au programme: * 14h: High-Level Abstractions and Optimization Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway * 15h15: Mouldable Programming Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway 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. Prochaines séances: Mercredi 28 Mai 2008, 14h, amphi 4 * Frédéric Gava, LACL, Université de Paris Est, Créteil * Frédéric Loulergue, LIFO, Université d'Orléans Mercredi 30 Septembre 2008, 14h * Gaétan Hains, LACL, Université de Paris Est, Créteil * Joël Falcou, IEF, Université de Paris-Sud, Orsay -- 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

16 years, 8 months

Reminder: [CFP] 5th European Lisp Workshop, July 7 2008, Cyprus

by Didier Verna

+------------------------------------------------------------+ | CALL FOR PAPERS | | 5th European Lisp Workshop | | July 7, Paphos, Cyprus - co-located with ECOOP 2008 | +------------------------------------------------------------+ Important Dates: **************** Submission deadline (papers & breakout groups): May 04, 2008 Notification of acceptance: May 19, 2008 ECOOP early registration deadline: June 01, 2008 5th European Lisp Workshop: July 07, 2008 For more information visit http://elw.bknr.net/2008/ Contact: Didier Verna, didier(a)lrde.epita.fr Organizers ********** Didier Verna, EPITA Research and Development Laboratory, Paris Christophe Rhodes, Goldsmiths College, University of London Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Hans Hübner, Software Developer, Berlin Overview ******** "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bioinformatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp is one of the oldest computer languages still in use today. In the decades of its existence, Lisp has been a fruitful basis for language design experiments as well as the preferred implementation language for applications in diverse fields. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. It is clear that Lisp is gaining momentum: there is a steadily growing interest in Lisp itself, with numerous user groups in existence worldwide, and in Lisp's metaprogramming notions which are being transferred to other languages, as for example in Aspect-Oriented Programming, support for Domain-Specific Languages, and so on. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit papers and suggestions for breakout groups that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formally-presented talks, and breakout groups discussing or working on particular topics. Additionally, there will be opportunities for short, informal talks and demonstrations on experience reports, underappreciated results, software under development, or other topics of interest. Papers ****** Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. We encourage that papers be published on the website, to provide all participants with background information in advance. Suggested Topics: - New language features or abstractions - Experience reports or case studies - Protocol Metaprogramming and Libraries - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Innovative Applications - Hardware Support for Lisp systems - Macro-, reflective-, meta- and/or rule-based development approaches - Aspect-Oriented, Domain-Oriented and Generative Programming Breakout Groups *************** The workshop will provide for the opportunity to meet face to face and work on focused topics. We will organize these breakout groups and provide for rooms and infrastructure. Suggested Topics for Breakout Groups: - Lisp Infrastructure Development and Distribution - Language Features (e.g. Predicate Dispatching) - Environments for creating web applications - Brainstorming sessions for new or existing open source projects - Persistence Systems - Compiler technology - Lisp on bare metal / Lisp hardware / Lisp operating systems - Compare and enhance curricula for computer science education Submission Guidelines ********************* Potential attendees are encouraged to submit: - a long paper (10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for a breakout group (1-2 pages) describing the theme, an agenda and/or expected results. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. -- 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

16 years, 8 months

Accepted paper at ELS 2008

by Didier Verna

It is my pleasure to inform you that my paper entitled "Binary Methods: the CLOS Perspective" has just been accepted to the first European Lisp Symposium (Bordeaux, May 22-23 2008). Abstract follows. Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of inheritance, or the need for privileged access to the internal representation of objects. Most of these problems occur in the context of statically typed languages that lack multi-methods (polymorphism on multiple arguments). The purpose of this paper is twofold: first, we show why some of these problems are either non-issues in Common Lisp, or trivially solved. Then, we demonstrate how the Common Lisp Object System (CLOS) allows us not only to implement binary methods in a straightforward way, but also to support the concept directly, and even enforce it at different levels (usage or implementation). -- 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

16 years, 8 months

L'air de rien 13

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°13 du bulletin du LRDE. Ce numéro présente les dernières actualités du LRDE, comme la future participation au projet SCRIBO dans le cadre du Groupe Thématique Logiciel Libre du pôle de compétitivité System@tic Paris-Région. SCRIBO s'inscrit dans le domaine du traitement d'images. Vous lirez également dans ce numéro d'où viennent les appellations "bit" et "octet" et combien de valeurs différentes peut coder un octet. Si vous avez l'âme d'un joueur vous serez intéressé par la manière d'atteindre un équilibre de Nash dans les jeux à plusieurs joueurs. Sont présentés également plusieurs articles scientifiques qui ont été acceptés à des conférences internationales. Par ailleurs, un membre du labo a démarré une thèse en janvier 2008. Et c'est nouveau, vous pouvez désormais réagir en écrivant un courrier à la rédaction. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200803-l-air-de-rien-13 -- Daniela Becker

16 years, 8 months

Publication: ITiCSE 2008: A Set of Tools to Teach Compiler Construction

by Roland Levillain

We are happy to announce that the following paper has been accepted for publication at the 13th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2008) that will take place at Universidad Politécnica de Madrid, Spain, from June 30th to July 2nd, 2008. Akim Demaille, Roland Levillain and Benoît Perrot A Set of Tools to Teach Compiler Construction http://publis.lrde.epita.fr/200806-ITICSE Compiler construction is a widely used software engineering exercise, but because most students will not be compiler writers, care must be taken to make it relevant in a core curriculum. Auxiliary tools, such as generators and interpreters, often hinder the learning: students have to fight tool idiosyncrasies, mysterious errors, and other poorly educative issues. We introduce a set of tools especially designed or improved for compiler construction educative projects in C++. We also provide suggestions about new approaches to compiler construction. We draw guidelines from our experience to make tools suitable for education purposes.

16 years, 8 months

← Newer
1
...
45
46
47
48
49
50
51
...
57
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce