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 9 février 2011 (14h-16h).
Au programme:
* 14h: Principes et Pratiques de la Programmation Concurrente en pi-calcul
-- Frédéric Peschanski
Nous étudions la problématique du mélange de paradigmes de programmation
variés plongés dans un environnement concurrent. Dans cette perspective,
nous poursuivons un cheminement similaire à celui qui conduit du
lambda-calcul aux langages fonctionnels, mais en prenant comme point de
départ le pi-calcul. Nous proposons la machine abstraite des pi-threads
dont la principale originalité est l’absence de pile d’exécution. Cette
caractéristique permet de nous reposer dans nos implémentations sur des
algorithmes simples et naturellement concurrents, notamment pour ce qui
concerne l’ordonnancement et le ramasse-miettes. Pour ce dernier, nous
proposons un algorithme permettant de récupérer très simplement les
cycles de processus en interblocage et autres structures bloquantes.
-- Frédéric Peschanski est Maître de Conférences à l'Université Pierre et
Marie Curie. Il effectue ses recherches au sein du laboratoire
d'informatique de Paris 6, dans l'équipe APR (algo-prog). Il étudie
essentiellement les langages de programmation avec comme leitmotiv la
théorie mise en pratique (et vice-versa).
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.
_______________________________________________
Seminaire mailing list
Seminaire(a)lrde.epita.fr
https://www.lrde.epita.fr/mailman/listinfo/seminaire
Hello,
I'm happy to inform you that our manuscript
"A Channel-Blind System for Speaker Verification"
has been accepted for presentation in a lecture
session at the IEEE-ICASSP conference (http://www.icassp2011.com).
The presentation should be on Thursday, May 26, 09:30 - 11:30.
--
Réda DEHAK
tel : +33 (0)1 44 08 01 86
mailto : reda.dehak(a)lrde.epita.fr
LRDE - EPITA
14-16, rue Voltaire
F-94270 Le Kremlin Bicêtre cedex
France
Bonjour,
nous avons le plaisir de vous inviter au séminaire des étudiants du
LRDE. Il aura lieu le mercredi 19 janvier 2011 à 14 heures en Amphi 4 (KB).
------------------------------------------------------------------
Au programme:
*OLENA, VAUCANSON, CLIMB et SPOT*
http://publis.lrde.epita.fr/Seminar-2011-01-19
OLENA
*14h00 : Un algorithme rapide pour l’arbre auto-dual -- Edwin Carlinet
VAUCANSON
*14h30 : Mécanique de Vaucanson 2.0 -- Alex Hamelin
CLIMB
*15h15 : Concevoir l’interface d’une bibliothèque générique en Common
Lisp -- Loïc Denuzière
SPOT
*15h45 : Model Checking LTL utilisant des automates Testeurs --
Ala-Eddine Ben-Salem
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
OLENA - TRAITEMENT D’IMAGES GÉNÉRIQUE ET PERFORMANT
14h00 : Un algorithme rapide pour l’arbre auto-dual -- Edwin Carlinet
Ces dernières années, les opérateurs connectés ont gagné une certaine
popularité dans le domaine du traitement d’images, ils ont en effet été
largement utilisés dans le cadre de filtrage, de segmentation, de
détection d’objets. . . Néanmoins, plusieurs défauts ont été mis en
évidence, le plus important étant la dépendance au contraste, on ne peut
que détecter soit les objets clairs, soit les objets foncés. Les
opérateurs auto-duaux permettent d’opérer sur les objets clairs et
foncés à la fois et ne souffrent donc pas du défaut des opérateurs
connectés classiques. En revanche, les opérateurs auto-duaux sont plus
difficiles à mettre en place et les algorithmes actuellement disponibles
sont coûteux en temps de calcul. Nous proposons un nouvel algorithme
pour calculer les opérateurs auto-duaux basés sur l’union-find de Tarjan
; celui-ci offrant de meilleures performances que l’algorithme d’arbres
de contours à l’état de l’art.
VAUCANSON - BIBLIOTHÈQUE DE MANIPULATION D’AUTOMATES
14h30 : Mécanique de Vaucanson 2.0 -- Alex Hamelin
Vaucanson est une plateforme de manipulation d’automates finis et de
transducteurs dont l’interface s’est montrée trop complexe. Pendant les
deux dernières années, des travaux ont été entrepris afin d’introduire
le concept de kind d’un automate dans la bibliothèque. Afin d’y arriver,
l’interface fut refaite ainsi que la mécanique interne de Vaucanson.
Ceci amena plusieurs changements dans les structures de données, les
algorithmes et la définition de l’interface. Nous exposerons ces
modifications tout en mettant en avant les divers pièges qu’un
développeur pourrait rencontrer en travaillant dans le coeur de la
bibliothèque. Ce travail pourra amener à des mesures de performances
entre Vaucanson 2.0 et la dernière version stable de la bibliothèque.
CLIMB - TRAITEMENT D’IMAGES EN LISP
15h15 : Concevoir l’interface d’une bibliothèque générique en Common
Lisp -- Loïc Denuzière
Climb est une bibliothèque de traitement d’images générique. Elle est
implémentée en Common Lisp et vise un dynamisme et une facilité
d’utilisation maximaux. Dans ce but, l’interface utilisateur doit être à
la fois suffisamment puissante pour ne pas cacher certaines
fonctionnalités de la bibliothèque sous-jacente, et intuitive pour
l’utilisateur. La difficulté est de créer une interface faisant un
minimum de compromis entre ces caractéristiques, tout en restant
suffisamment extensible pour les garder quand la bibliothèque évolue.
Après quelques rappels sur le design générique de Climb, nous présentons
les modifications que nous avons apportées à l’interface existante pour
améliorer son utilisabilité sans restreindre ses capacités.
SPOT - BIBLIOTHEQUE DE MODEL CHECKING
15h45 : : Model Checking LTL utilisant des automates Testeurs --
Ala-Eddine Ben-Salem
Spot est une bibliothèque C++ de model checking basée sur l'approche
automate, et utilisant des automates de Büchi. Le problème principal de
cette approche est l’explosion de l’espace d’états à explorer. Afin de
réduire la taille des automates représentant l’espace d’états, nous
avons implémenté dans Spot une solution qui utilise des automates
Testeurs à la place des automates de Büchi. Nous présenterons les
différentes étapes de construction d'un automate Testeur à partir d'un
automate de Büchi. Ensuite, nous détaillerons les algorithmes de
vérification manipulant des automates Testeurs.
-------------------------------------------------------------------
Daniela Becker
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4th European Lisp Symposium
Special Focus on Parallelism & Efficiency
March 31 - April 1st, 2011
TUHH, Hamburg University of Technology
Hamburg, Germany
http://www.european-lisp-symposium.org/
Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Important Dates
~~~~~~~~~~~~~~~~
+ Submission Deadline: January 16, 2011 --- EXTENDED
+ Author Notification: February 06, 2011
+ Final Paper Due: February 28, 2011
+ Symposium: March 31 - April 1st, 2011
Authors of accepted research contributions will be invited to submit
an extended version of their papers for journal publication.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Marc Battyani (Nova Sparks)
Craig Zilles (University of Illinois)
Scope
~~~~~~
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp dialects, including
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure,
ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone
interested in Lisp to participate.
The European Lisp Symposium 2011 invites high quality papers about
novel research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
This year's focus will be directed towards "Parallelism & Efficiency".
We especially invite submissions in the following areas:
+ Parallel and distributed computing
+ Code generation for multi-core architectures
+ Code generation for HTM
+ Large and ultra-large systems
+ Optimization techniques
+ Embedded applications
Contributions are also welcome in other areas, including but not
limited to:
+ Context-, aspect-, domain-oriented and generative programming
+ Macro-, reflective-, meta- and/or rule-based development approaches
+ Language design and implementation
+ Language integration, inter-operation and deployment
+ Development methodologies, support and environments
+ Educational approaches and perspectives
+ Experience reports and case studies
Technical Program:
~~~~~~~~~~~~~~~~~~
We invite submissions in the following forms:
* Papers: Technical papers of up to 15 pages that describe original
results or explain known ideas in new and elegant ways.
* Demonstrations: Abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
* Tutorials: Abstracts of up to 4 pages for in-depth presentations
about topics of special interest for at least 90 minutes and up to
180 minutes.
* Lightning talks: Abstracts of up to one page for talks to last for
no more than 5 minutes.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM classification categories and terms. For more
information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templateshttp://www.acm.org/about/class/1998
Submissions should be uploaded to Easy Chair, at the following address:
http://www.easychair.org/conferences/?conf=els2011
Programme Chair
~~~~~~~~~~~~~~~~
Didier Verna - EPITA Research and Development Laboratory, France
Local Chair
~~~~~~~~~~~~
Ralf Moeller - Hamburg University of Technology, Germany
Programme Committee
~~~~~~~~~~~~~~~~~~~~
Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal
Christophe Rhodes - Goldsmiths College, University of London, UK
David Edgar Liebke - Relevance Inc., USA
Didier Verna - EPITA Research and Development Laboratory, France
Henry Lieberman - MIT Media Laboratory, USA
Jay McCarthy - Brigham Young University, USA
Jose Luis Ruiz Reina - Universidad de Sevilla, Spain
Marco Antoniotti - Universita Milano Bicocca, Italy
Manuel Serrano - INRIA, France
Michael Sperber - DeinProgramm, Germany
Pascal Costanza - Vrije Universiteit of Brussel, Belgium
Scott McKay - ITA Software, USA
--
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
Hello,
I'm happy to announce the release of DoX version 2.2.
What's new in this version:
* New option 'macrolike' to \doxitem, making it possible to create new
control-sequence based documentation items.
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#dox
or wait until it propagates through CTAN...
--
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
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4th European Lisp Symposium
Special Focus on Parallelism & Efficiency
March 31 - April 1st, 2011
TUHH, Hamburg University of Technology
Hamburg, Germany
http://www.european-lisp-symposium.org/
Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Invited Speakers:
~~~~~~~~~~~~~~~~~
Marc Battyani (Nova Sparks)
Craig Zilles (University of Illinois)
Important Dates
~~~~~~~~~~~~~~~~
+ Submission Deadline: January 09, 2011
+ Author Notification: February 06, 2011
+ Final Paper Due: February 28, 2011
+ Symposium: March 31 - April 1st, 2011
Authors of accepted research contributions will be invited to submit
an extended version of their papers for journal publication.
Scope
~~~~~~
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp dialects, including
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure,
ACL2, ECMAScript, Racket and so on. We encourage everyone interested
in Lisp to participate.
The European Lisp Symposium 2011 invites high quality papers about
novel research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
This year's focus will be directed towards "Parallelism & Efficiency".
We especially invite submissions in the following areas:
+ Parallel and distributed computing
+ Code generation for multi-core architectures
+ Code generation for HTM
+ Large and ultra-large systems
+ Optimization techniques
+ Embedded applications
Contributions are also welcome in other areas, including but not
limited to:
+ Context-, aspect-, domain-oriented and generative programming
+ Macro-, reflective-, meta- and/or rule-based development approaches
+ Language design and implementation
+ Language integration, inter-operation and deployment
+ Development methodologies, support and environments
+ Educational approaches and perspectives
+ Experience reports and case studies
Technical Program:
~~~~~~~~~~~~~~~~~~
We invite submissions in the following forms:
* Papers: Technical papers of up to 15 pages that describe original
results or explain known ideas in new and elegant ways.
* Demonstrations: Abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
* Tutorials: Abstracts of up to 4 pages for in-depth presentations
about topics of special interest for at least 90 minutes and up to
180 minutes.
* Lightning talks: Abstracts of up to one page for talks to last for
no more than 5 minutes.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM classification categories and terms. For more
information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templateshttp://www.acm.org/about/class/1998
Submissions should be uploaded to Easy Chair, at the following address:
http://www.easychair.org/conferences/?conf=els2011
Programme Chair
~~~~~~~~~~~~~~~~
Didier Verna - EPITA Research and Development Laboratory, France
Local Chair
~~~~~~~~~~~~
Ralf Moeller - Hamburg University of Technology, Germany
Programme Committee
~~~~~~~~~~~~~~~~~~~~
Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal
Christophe Rhodes - Goldsmiths College, University of London, UK
David Edgar Liebke - Relevance Inc., USA
Didier Verna - EPITA Research and Development Laboratory, France
Henry Lieberman - MIT Media Laboratory, USA
Jay McCarthy - Brigham Young University, USA
Jose Luis Ruiz Reina - Universidad de Sevilla, Spain
Marco Antoniotti - Universita Milano Bicocca, Italy
Manuel Serrano - INRIA, France
Michael Sperber - DeinProgramm, Germany
Pascal Costanza - Vrije Universiteit of Brussel, Belgium
Scott McKay - ITA Software, USA
--
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
Hello,
I'm happy to announce the release of CurVe version 1.16. CurVe is a CV
class for LaTeX2e.
What's new in this version:
* An examples directory
* New \text macro
* Support for openbib option
* Fix incompatibilities with the splitbib package
* Handle the bibentry/hyperref incompatibility directly
* Implement old font commands
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#curve
or wait until it propagates through CTAN...
--
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
Hello,
I'm please to announce that I will be giving a 90 minutes session at the
next ACCU conference, in Oxford. The abstract is given below:
Meta-circularity... and vice-versa
As complexity increases, one often feels limited by the use of a single
language, and incorporates new technology in order to express the original
problem more abstractly, more precisely, and design solutions more
efficiently. Using better-suited languages also has the advantage of letting
you think about your problem in new and different ways, perhaps ways that you
had not thought of before. It is thus no surprise to see the profusion of new
languages that we face today, notably scripting and domain-specific ones.
But then, why the need for all this new and different technology? Wouldn't it
be better if your primary language could evolve the way you want it to? And
why is it not generally possible? Perhaps, because your primary language is
not really extensible...
Meta-linguistic abstraction, that is, the art of language design plays a
capital role in computer science because we have the ability to actually
implement the languages we design, for instance by creating interperters for
them. A fundamental idea in this context is that an interpreter is just
another program (by extension, one could argue that any program is an
interpreter for a particular language).
In this session, we will revive a historical moment in computer science: the
birth of meta-circularity. When, in 1958, John McCarthy invented Lisp, he
hadn't foreseen that given the core 7 operators of the language, it was
possible to write Lisp in itself, by way of an interpreter. The practical
implication of meta-circularity is that a meta-circular language gives you
direct control over the semantics of the language itself, and as a
consequence, means to modify or extend it. No wonder, then, why lispers never
felt the need for external DSLs, scripting languages, XML or whatever. The
reason is that Lisp, being extensible, can do all that by itself. Lisp is, by
essence, the "programmable programming language".
--
Resistance is futile. You will be jazzimilated.
El Didou
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 8 décembre 2010 (14h-16h30).
Au programme:
* 14h: PHP.Reboot: un language de script utilisant la JSR 292
-- Rémi Forax
Depuis 2000, on assiste à un regain d'intérêt pour les langages typés
dynamiquement regroupés sous la bannière "langage de script". Pour les
langages de script les plus populaires, comme PHP, Python ou Ruby, il
existe, en plus des implantations écrites en C, des implantations plus
récentes utilisant des environnements comme la machine virtuelle Java
(JVM) ou la plateforme .Net. Ces implantations sont souvent plus
efficaces que les implantations historiques, pourtant, ces
environnements d'exécution utilisent des langages intermédiaires typés
statiquement qui sont peu propices à l'implantation de langage typé
dynamiquement. Partant de ce constat, le Java Community Process a créé
la JSR 292 intitulée "Supporting Dynamically Typed Languages on the
JavaTM Platform" dont le but est de proposer une API facilitant
l'implantation et les performances des langages de script sur une
machine virtuelle Java.
Mon exposé se compose de deux parties.
Dans un premier temps, en tant que membre du groupe d'experts,
j'essaierai de restituer de façon didactique les concepts introduits par
la JSR 292 en expliquant les tenants et les aboutissants.
La seconde partie, plus personnelle, montrera comment développer
l'environnement d'exécution d'un langage de script en utilisant les
outils fournis par la JSR 292. Je m'appuierai pour cela sur un prototype
de langage que j'ai développé et nommé PHP.reboot.
-- Rémi Forax est, depuis 2003, maître de conférence à l'université Paris
Est Marne-la-Vallée au sein du Laboratoire Informatique Gaspard Monge
(LIGM). Ses travaux de recherche sont centrés sur la conception de
compilateurs et d'environnements d'exécution basée sur des machines
virtuelles.
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.
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse
intitulée:
"Probabilistic algorithms for large scale systems"
ainsi qu'au traditionnel pot qui suivra.
La soutenance aura lieu le lundi 29 novembre 2010 à 14h en
salle 79 du bâtiment 490 de l'université Paris-Sud XI.
==========
Résumé
==========
Cette thèse explore les sytèmes à grande échelle selon deux axes
distincts, tout d'abord les réseaux dont la taille a grandi jusqu'à
devenir problématique (réseaux de capteurs, applications massivement
parallèles, ...) ainsi que les systèmes dont la taille est dûe
à la collection de données qu'ils représentent. Un exemple typique de
ces systèmes est le world wide web.
Les travaux réalisés concernent l'identification et le déclassement du
spam sous plusieurs de ses formes. Tout d'abord le webspam, utilisé
par les webmasters malhonnêtes qui souhaitent améliorer leur visibilité
sur le web par tous les moyens. Dans cette thèse nous montrons qu'il
est possible en utilisant des moyens rapides (marches aléatoires) de
diminuer fortement l'influence de ces pages sur le calcul du pagerank.
J'ai aussi travaillé sur le déclassement du spam social pouvant
apparaître sur des sites d'informations collaboratifs comme
digg. L'approche proposée à base de filtres statistiques pour freiner
la promotion de news spammantes a été validée à la fois d'un point de
vue statistique et humain.
Cette thèse propose aussi un nouveau schéma de distribution de
messages dans les réseaux de capteurs permettant de diffuser de
l'information sur un sous-ensemble des noeuds du réseau en respectant
une distribution prédéterminée le tout en réduisant le nombre de
messages par rapport aux approches précédentes.
J'ai aussi participé à l'élaboration d'une plateforme d'émulation pour
applications parallèles en réalisant la virtualisation du réseau
niveau bas afin d'offrir un contrôle complet à l'utilisateur sur
l'environnement.
This thesis focuses on large-scale systems through two angles: first
networks which size grows until becoming an issue itself (sensor
networks, massively parallel applications, ...) and also systems which
size is coming from the data collection they represent. A typical
example of such systems is the World Wide Web.
The work realized concerns the detection and the demotion of spam
under various forms. First link spam, used by malicious webmasters who
want to increase their visibility on the Web by all means. In this
thesis, we show that it is possible using fast methods (random walks)
to decrease the influence of such pages on the PageRank's computation.
I also worked on the demotion of social spam that may appear on social
news websites like Digg. The approach based on statistical filters to
slow down the promotion of spamming news was validated from both a
statistical and human point of view.
This thesis also proposes a new message distribution scheme in sensor
networks allowing to reach a subset of nodes according to a
predetermined distribution with a lower number of exchanged messages
compared to previous approaches.
I also participate in the development of an emulation platform for
parallel applications. I realized the low level network virtualization
in order to provide users with a complete control over the
environment.
===================
Composition du jury
===================
Rapporteurs:
Brian D. Davison, Associate professor, Lehigh university.
Aristides Gionis, Senior Researcher, Yahoo! Research.
Examinateurs:
Serge Abiteboul, Directeur de recherche, INRIA.
Fabio Crestani, Professeur, Université Paris-Sud XI.
Directeurs de thèse:
Joffroy Beauquier, Professeur, Université Paris-Sud XI.
Sylvain Peyronnet, Maître de conférence, Université Paris-Sud XI
========
Accès
========
Laboratoire de Recherche en Informatique
Bât 490 Université Paris-Sud 11
91405 Orsay Cedex France
Plan d'accès : http://www.lri.fr/info.pratiques.php
Cordialement.
--
Thomas Largillier