Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

[Séminaire des étudiants CSI] : mercredi 13 mai 2009

by Daniela Becker

Bonjour, nous avons le plaisir de vous inviter au séminaire des étudiants du LRDE qui aura lieu le mercredi 13 mai 2009 à 14 heures en Amphi 2 au KB. ----------------------------------------------------------------------- Le programme : *Vaucanson, Transformers et Spot* http://publis.lrde.epita.fr/Seminar-2009-05-13 VAUCANSON * 14h00 : Analyse de performances pour projets C++ -- Florent D'Halluin * 14h30 : Traitement curatif pour Vaucanson: un renforcement du concept d'automate -- Jérôme Galtier TRANSFORMERS * 15h15 : Ajout de la programmation par contrats au C++ avec Transformers -- Vincent Ordy * 15h45 : Une implémentation des conteneurs C++ avec SCOOL -- Warren Seine SPOT * 16h30 : Traduction d'une LTL étendue en TGBA dans Spot -- Damien Lefortier * 17h00 : La complémentation d'automates de Büchi -- Guillaume Sadegh ----------------------------------------------------------------------- Les Résumés des exposés : ************************** VAUCANSON 14h00 : Analyse de performances pour projets C++ -- Florent D'Halluin Vaucanson est une bibliothèque C++ de manipulation d'automates finis. Par rapport à son concurrent principal, OpenFST?, Vaucanson souffre d'importants problèmes de performances. Afin d'améliorer les performances de Vaucanson, il est nécessaire d'avoir des outils appropriés pour analyser le comportement de la bibliothèque en termes d'utilisation de temps CPU et de gestion de la mémoire. Jusqu'en Mars 2009, il n'existait pas d'outils de ce type pratiques à utiliser avec Vaucanson. CBS (C++ Benchmarking Suite) est une suite d'outils d'analyse de performances pour projets C++. Ces outils permettent de mesurer, d'afficher, et de comparer l'utilisation de ressources (temps, mémoire), dans un format accessible à l'utilisateur. Ils sont utilisés pour analyser Vaucanson afin de réécrire les algorithmes les moins efficaces. 14h30 : Traitement curatif pour Vaucanson: un renforcement du concept d'automate -- Jérôme Galtier Vaucanson permet de manipuler des automates finis. La modélisation de ces objets occupe donc une place centrale dans la généricité de la bibliothèque. Nous voulons pouvoir étendre cette modélisation pour supporter de nouveaux types et spécialiser des comportements afin d'améliorer les performances. Nous exposerons ce qui peut être considéré comme un véritable nud gordien dans la modélisation actuelle: Vaucanson est par exemple incapable de choisir une implémentation pour un automate en fonction d'une de ses propriétés. La solution apportée restaure alors une modélisation saine et empêchera des erreurs de conceptions lors de la recherche de spécifications des algorithmes. Finalement, nous exposerons, entre autre, une série de spécialisations du concept d'automate, ainsi qu'un ensemble d'améliorations du modèle qui étaient autrefois trop couteuses à mettre en place. TRANSFORMERS 15h15 : Ajout de la programmation par contrats au C++ avec Transformers -- Vincent Ordy La programmation par contrats est un paradigme permettant de réduire le temps de débogage des programmes, en spécifiant des conditions qui doivent être vérifiées à l'entrée d'une fonction (préconditions) ou à sa sortie (postconditions). Dans les languages orientés objet, il est également possible de vérifier un ensemble de contraintes à chaque appel ou sortie d'une fonction membre (invariants de classe), et les conditions sont héritées à partir des classes parentes. Le projet Transformers a pour but de faire de la transformation source à source sur des sources C et C++. Une extension pour introduire les contrats dans le C a déjà été écrite alors que l'analyse syntaxique du C++ n'était pas encore fonctionnelle. Nous allons montrer comment écrire une extension de la grammaire du C++ dans le projet Transformers pour introduire le principe de contrat dans le C++, puis transformer le code étendu en C++ standard. 15h45 : Une implémentation des conteneurs C++ avec SCOOL -- Warren Seine SCOOL est un langage dédié conçu pour faciliter le développement C++ de haut-niveau. Fondé sur le paradigme SCOOP mélangeant programmation générique et orientée-objet, il se démarque par une résolution statique des appels de fonctions membres et un système de concepts puissant. Précédemment, une bibliothèque de conteneurs standards a été réalisée en C++ grâce à SCOOL. Cette implémentation demandait cependant une forte maitrise des méchanismes de SCOOP. Avec SCOOL, nous pouvons y arriver sans se préoccuper des détails, laissés au traducteur C++. En se concentrant sur le développement de la bibliothèque en SCOOL et sur les changements nécessaires au langage et à son compilateur, nous comparerons les solutions originales et DSL et déterminerons si SCOOL est adapté au prototypage d'applications génériques. SPOT 16h30 : Traduction d'une LTL étendue en TGBA dans Spot -- Damien Lefortier Spot est une bibliothèque de model checking qui permet de vérifier des propriétés exprimées en logique temporelle à temps linéaire (LTL) sur des modéles représentés par des automates de Büchi généralisés basés sur les transitions (TGBA). Spot propose actuellement deux algorithmes de traduction de LTL en TGBA, une des étapes principales de l'approche automate. Nous présentons une nouvelle traduction en TGBA d'une LTL étendue dont les opérateurs sont représentés par des automates finis, permettant ainsi à Spot de vérifier des propriétés qui n'étaient pas exprimables auparavant. Nous présenterons aussi de quelles façons nous pourrions intégrer certaines fonctionnalités de PSL (Property Specification Language) à notre extension. 17h00 : La complémentation d'automates de Büchi -- Guillaume Sadegh Le model checking est un domaine de la vérification formelle, qui permet de vérifier le comportement d'un système à travers des formules logiques. Spot est une bibliothèque de model checking qui repose sur une des techniques du domaine : l'approche automate. Dans cette approche du model checking, le système et les formules sont représentés sous forme d'automates acceptant des mots de longueur infinie, et plus particulièrement des automates de Büchi. Spot propose de nombreux algorithmes aux utilisateurs de la bibliothèque pour manipuler ce type d'automates, en vue d'applications au model checking. Pourtant, un algorithme est manquant : celui de la complémentation d'automates de Büchi (qui produit un automate reconnaissant la négation du langage initialement reconnu). Cet algorithme est peu utilisé dans la pratique à cause de sa forte complexité, mais il ne manque pas d'intérêt du point de vue théorique. Nous présenterons une implémentation d'un tel algorithme dans Spot. -- Daniela Becker

15 years, 7 months

Séminaire Performance et Généricité du LRDE le Mercredi 22 avril 2009

by Akim Demaille

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 22 avril 2009 (14h-17h). Au programme: * 14h: Visite guidée de SmartEiffel: le génie logiciel en pratique. -- Dominique Colnet. SmartEiffel - LORIA. http://SmartEiffel.loria.fr SmartEiffel, également connu sous le nom de GNU Eiffel, est à la fois un langage et un ensemble d'outils de compilations, de documentation et de validation. Le langage SmartEiffel vise à favoriser la mise en pratique des principales exigences liées au développement d'un gros logiciel par une grande équipe. En plus d'exigences en terme de qualité, de sécurité et de documentation, la définition de SmartEiffel est également soucieuse de l'efficacité du programme à l'exécution. Ainsi, le modèle des objets qui est à la base du langage intègre également les types les plus élémentaires sans surcoût potentiel à l'exécution. Pour sa part, le mécanisme de programmation par contrats qui est essentiel en matière de documentation est également un bon moyen de rechercher les meilleures performances à l'exécution. Durant cet exposé, la visite guidée du langage présentera le modèle d'objets, la programmation par contrats, la double forme d'héritage multiple ainsi que le mécanisme des agents. Dominique Colnet, principal auteur de SmartEiffel, est membre du LORIA et professeur d'informatique à l'IUT Nancy-Charlemagne. * 15h30: Lisaac/IsaacOS: La puissance des langages objets à prototypes. -- Benoit Sonntag. ICPS - LSIIT. http://isaacproject.u-strasbg.fr/ Lisaac est un petit langage basé sur la technologie objet à base de prototype. Plus flexible que l'objet à base de classe, elle permet un dynamisme et un degré d'expressivité encore inégalés. Lisaac est inspiré du langage Self pour les concepts d'objets à prototypes et du langage Eiffel, pour les aspects d'ingénierie logicielle et notamment pour la programmation par contrat. Enfin, l'objectif étant de réaliser de la programmation de bas niveau à l'aide d'un langage de haut niveau, un ensemble de concepts utiles à la programmation système a été ajouté. Le langage Lisaac utilise un nombre particulièrement restreint d'idiomes orthogonaux rendant difficile l'élaboration d'un compilateur efficace. Son compilateur en fait aujourd'hui l'unique langage à prototype compilé. Les performances atteintes sont proche des compilateurs C, voire même au-delà... Pour étayer, approfondir et illustrer nos propos, nous ferons un rapide tour d'horizon du développement du système d'exploitation IsaacOS entièrement écrit en Lisaac. Durant cet exposé, nous aborderons les thèmes suivants: concept à prototype versus concept à classe; héritage multiple et dynamique et autres particuliarité du Lisaac; technique de compilation et résultat de performance; validation des concepts avec une brève présentation du système d'exploitation IsaacOS. Benoit Sonntag, principal auteur du projet Lisaac/IsaacOS, est membre de l'équipe ICPS au LSIIT et Maître de conférence d'informatique à l'UDS Strasbourg (Anciennement ULP). Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible.

15 years, 8 months

Publication: ISMM'09: Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images

by Roland Levillain

We are happy to announce that the following paper has been accepted for publication at the 9th International Symposium on Mathematical Morphology (ISMM) that will take place at Groningen, The Netherlands, on August 24 - 27, 2009: Roland Levillain (1,2), Thierry Géraud (1,2) and Laurent Najman (2) Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images http://publis.lrde.epita.fr/200908-ISMM (1) EPITA Research and Development Laboratory (LRDE) (2) Université Paris-Est, Laboratoire d'Informatique Gaspard-Monge, Equipe A3SI, ESIEE Paris We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithms can be translated into actual code, usable on virtually any kind of compatible images, provided a general definition of the concept of image is given. This work is implemented in Milena, a generic, efficient, and user-friendly image processing library.

15 years, 8 months

Séminaire Performance et Généricité du LRDE du Mercredi 22 avril 2009

by Daniela Becker

Bonjour, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) a lieu le Mercredi 22 avril 2009 (14h-17h). Au programme: * 14h : Visite guidée de SmartEiffel : le génie logiciel en pratique. Dominique Colnet. SmartEiffel - LORIA. SmartEiffel, également connu sous le nom de GNU Eiffel, est à la fois un langage et un ensemble d’outils de compilations, de documentation et de validation. Le langage SmartEiffel vise à favoriser la mise en pratique des principales exigences liées au dévelop- pement d’un gros logiciel par une grande équipe. En plus d’exigences en terme de qualité, de sécurité et de documentation, la déﬁnition de SmartEiffel est également soucieuse de l’efﬁcacité du programme à l’exécution. Ainsi, le modèle des objets qui est à la base du langage intègre également les types les plus élé- mentaires sans surcoût potentiel à l’exécution. Pour sa part, le mécanisme de programmation par contrats qui est essentiel en matière de documentation est également un bon moyen de rechercher les meilleures performances à l’exécution. Durant cet exposé, la visite guidée du langage présentera le modèle d’objets, la programmation par contrats, la double forme d’héritage multiple ainsi que le mécanisme des agents. Dominique Colnet, principal auteur de SmartEiffel, est membre du LORIA et professeur d’informatique à l’IUT Nancy-Charlemagne. http://SmartEiffel.loria.fr * 15h30 : Lisaac/IsaacOS : La puissance des langages objets à prototypes. Benoit Sonntag. ICPS - LSIIT. Lisaac est un petit langage basé sur la technologie objet à base de prototype. Plus ﬂexible que l’objet à base de classe, elle permet un dynamisme et un degré d’expressivité encore inégalés. Lisaac est inspiré du langage Self pour les concepts d’objets à prototypes et du langage Eiffel, pour les aspects d’in- génierie logicielle et notamment pour la programmation par contrat. Enﬁn, l’objectif étant de réaliser de la programmation de bas niveau à l’aide d’un langage de haut niveau, un ensemble de concepts utiles à la programmation système a été ajouté. Le langage Lisaac utilise un nombre particulièrement restreint d’idiomes orthogonaux rendant difﬁcile l’élaboration d’un compilateur efﬁcace. Son compilateur en fait aujourd’hui l’unique langage à prototype compilé. Les performances atteintes sont proche des compilateurs C, voire même au-delà... Pour étayer, approfondir et illustrer nos propos, nous ferons un rapide tour d’horizon du développement du système d’exploitation IsaacOS entièrement écrit en Lisaac. Durant cet exposé, nous aborderons les thèmes suivants : concept à prototype versus concept à classe ; héritage multiple et dynamique et autres particuliarité du Lisaac ; technique de compilation et résultat de performance ; validation des concepts avec une brève présentation du système d’exploitation IsaacOS. Benoit Sonntag, principal auteur du projet Lisaac/IsaacOS, est membre de l’équipe ICPS au LSIIT et Maître de conférence d’informatique à l’UDS Strasbourg (Anciennement ULP). http://isaacproject.u-strasbg.fr/ Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Daniela Becker

15 years, 8 months

DEADLINE EXTENSION: 6th European Lisp Workshop at ECOOP, July 6 2009

by Didier Verna

Dear colleagues, upon request from several potential contributors, we have postponed the submission deadline for the 6th European Lisp Workshop by two weeks. The new deadline is now April 22nd. +------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 22, 2009 (EXTENDED) Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, 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, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. 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. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions 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 formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 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 an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines (see http://www.acm.org/sigs/publications/proceedings-templates) and include ACM classification categories and terms (see http://www.acm.org/about/class/1998). Authors will later be required to sign an ACM copyright form. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 Didier Verna <didier(a)lrde.epita.fr> @ LRDE: 01 44 08 01 85

15 years, 8 months

L'air de rien 16

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°16 du bulletin du LRDE. C'est un numéro Spécial dédié à la relation entre "Epitéen et Docteur", plus précisément à comment le LRDE avec sa formation CSI est devenu une pépinière de jeunes chercheurs. Nous présentons les thèses de quatre anciens du labo ainsi que le travail en cours d'un autre futur docteur. 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 quelques conférences auxquelles certains enseignants-chercheurs du LRDE participent, en tant qu'invité ou organisateur. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200904-l-air-de-rien-16 -- Daniela Becker

15 years, 8 months

Reminder [CFP] 6th European Lisp Workshop, July 6th 2009

by Didier Verna

+------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 08, 2009 Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, 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, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. 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. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions 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 formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 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 an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines (see http://www.acm.org/sigs/publications/proceedings-templates) and include ACM classification categories and terms (see http://www.acm.org/about/class/1998). Authors will later be required to sign an ACM copyright form. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com

15 years, 8 months

Journal article publication

by Didier Verna

Hello, I am pleased to announce that my article "Binary Methods Programming: the CLOS Perspective" has just been published in the Journal of Universal Computer Science (J.UCS), Volume 14, Issue 20, Pages 3389 - 3411. The paper is also available online from the journal's website. Get it at: http://www.jucs.org/jucs_14_20/binary_methods_programming_the -- European Lisp Symposium, May 2009: http://www.european-lisp-symposium.org European Lisp Workshop, July 2009: http://elw.bknr.net/2009 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

15 years, 8 months

Séminaire Performance et Généricité du LRDE le Mercredi 25 mars 2009

by Akim Demaille

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 25 mars 2009 (14h-15h30). Au programme: * 14h: Que se cache-t-il derrière ce type ? -- Yann Régis-Gianas, laboratoire PPS (Univ. Paris Diderot), équipe πr² (INRIA) http://www.pps.jussieu.fr/~yrg Si une fonction φ promet de manipuler une valeur de type α sans l'observer, on peut utiliser son code sans risque pour toutes les affectations possibles de α : que la valeur soit entière (α = int) ou qu'elle soit un arbre (α = tree), la fonction se comportera toujours de façon identique. Cette propriété s'appelle le polymorphisme paramétrique, l'essence de la généricité. Promettre de ne pas observer de trop près son argument est un fardeau parfois insupportable pour une fonction, pour des raisons algorithmiques (comment prendre une décision sans savoir ce que vaut mon argument ?), ou encore pour des raisons de performances de bas-niveau (si je sais que α = int, je peux utiliser une primitive dédiée de mon processeur). Même si le type d'une valeur est caché derrière un type plus abstrait α, on peut fournir des mécanismes pour « le redécouvrir » grâce à des tests dynamiques ou à des raisonnements purement statiques. La propriété qui permet de diriger son calcul par la forme des types est appelée le polymorphisme intentionnel. Dans cet exposé, nous présenterons plusieurs versions du polymorphisme intentionnel offertes par différents systèmes de types et de preuves sûrs (c'est-à-dire garantissant que les programmes ne peuvent pas planter et sont corrects vis-à-vis de leur spécification). Yann Régis-Gianas est maître de conférence de l'Université Paris Diderot. Ancien élève de l'EPITA et du LRDE (promo CSI 2003), il a poursuivi son cursus par un DEA SPL (précurseur de l'actuel MPRI) et par un doctorat au sein de l'équipe Gallium de l'INRIA. Il étudie le design des langages de programmation à typage statique garantissant l'absence d'erreurs dans les programmes. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible.

15 years, 9 months

[CFP] 6th European Lisp Workshop, July 06, 2009

by Didier Verna

+------------------------------------------------------------+ | CALL FOR PAPERS | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 08, 2009 Notification of acceptance: May 08, 2009 ECOOP early registration deadline: May 20, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. For more information visit http://elw.bknr.net/2009 Contact: Didier Verna, didier(a)lrde.epita.fr 2009 Special News ================= This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Also, the workshop will feature interactive tutorial/demo/coding sessions (see below). Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, 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, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. 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. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions 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 formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Experience reports / Case studies - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Hardware Support - Efficiency / Distribution / Parallel programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol Meta-programming and Libraries - Context-Oriented, Domain-Oriented and Generative Programming Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is to both demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, it is expected that these sessions be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 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 an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- Didier Verna <didier(a)lrde.epita.fr> 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

15 years, 10 months

← Newer
1
...
42
43
44
45
46
47
48
...
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