I'm happy to inform you that our manuscript
Paper ID: 95209
Title: Language Recognition via Ivectors and Dimensionality Reduction
has been accepted for oral presentation at the INTERSPEECH conference in
session ID 2120 "Language identification".
--
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
Programming for Separation of Concerns (PSC) at
ACM Symposium on Applied Computing (SAC)
March 25-29, 2012
Riva del Garda (Trento) Italy
Description and Objectives
--------------------------
Complex systems are intrinsically expensive to develop because several
concerns must be addressed simultaneously. Once the development phase is over,
these systems are often hard to reuse and evolve because their concerns are
intertwined and making apparently small changes force programmers to modify
many parts. Moreover, legacy systems are difficult to evolve due to additional
problems, including: lack of a well defined architecture, use of several
programming languages and paradigms, etc.
Separation of concerns (SoC) techniques such as computational reflection,
aspect-oriented programming and subject-oriented programming have been
successfully employed to produce systems whose concerns are well separated,
thereby facilitating reuse and evolution of system components or systems as a
whole. However, a criticism of techniques such as computational reflection is
that they may bring about degraded performance compared with conventional
software engineering techniques. Besides, it is difficult to precisely
evaluate the degree of flexibility for reuse and evolution of systems provided
by the adoption of these SoC techniques. Other serious issues come to mind,
such as: is the use of these techniques double-edged? Can these systems suffer
a ripple effect, whereby a small change in some part has unexpected and
potentially dangerous effects on the whole?
The Programming for Separation of Concerns (PSC) track at the 2012 Symposium
on Applied Computing (SAC) aims to bring together researchers to share
experiences in using SoC techniques, and explore the practical problems of
existing tools, environments, etc. The track will address questions like: Can
performance degradation be limited? Are unexpected changes dealt with by
reflective or aspect-oriented systems? Is there any experience of long term
evolution that shows a higher degree of flexibility of systems developed with
such techniques? How such techniques cope with architectural erosion? Are
these techniques helpful to deal with evolution of legacy systems?
Topics
------
Authors are invited to submit original papers. Submissions are encouraged, but
not limited, to the following topics:
- Software architectures
- Configuration management systems
- Software reuse and evolution
- Performance issues for metalevel and aspect oriented systems
- Software engineering tools
- Consistency, integrity and security
- Generative approaches
- Experiences in using reflection, composition filters, aspect- and subject-
orientation
- Evolution of legacy systems
- Reflective and aspect oriented middleware for distributed systems
- Modelling of SoC techniques to allow predictable outcomes from their use
- Formal methods for metalevel systems
Paper Submission
----------------
Original papers from the above mentioned or other related areas will be
considered. Only full papers about original and unpublished research are
sought. Parallel submission to other conferences or tracks is not acceptable.
Papers can be submitted in electronic format via the SAC website
(www.softconf.com/c/sac2012/) within 31 August 2011. Please make sure that the
authors name and affiliation do not appear on the submitted paper.
Peer groups with expertise in the track focus area will blindly review
submissions to the track. At least one author of the accepted paper should
register and participate in the PSC track. Accepted papers will be published
in the annual conference ACM proceedings.
The camera-ready version of the accepted paper should be prepared using the
ACM format (guidelines will be given on the SAC website). The maximum number
of pages allowed for the final papers is six (6), with the option, at
additional cost, to add two (2) more pages.
A set of papers submitted to the PSC track and not accepted as full papers
will be selected as poster papers and published in the ACM proceedings as
2-page papers, with the option, at additional cost, to add one (1) more page.
Important Dates
---------------
Paper Due August 31, 2011
Author Notification Oct. 12, 2011
Camera Ready Nov. 2, 2011
Please check the web site for updates:
www.dmi.unict.it/~tramonta/sac/
--
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
We are happy to announce that the following paper has been
accepted for publication at the 23rd Symposium on Signal and
Image Processing (GRETSI) that will take place in Bordeaux,
France on September 5 - 8, 2011.
Nous avons le plaisir de vous annoncer que l'article suivant a
été accepté pour publication au 23e colloque GRETSI (Traitement
du Signal et des Images), qui aura lieu à Bordeaux en France, du
5 au 8 septembre 2011.
Roland Levillain (1,2), Thierry Géraud (1,2) and Laurent Najman (2)
Une approche générique du logiciel pour le traitement d'images
préservant les performances
http://publis.lrde.epita.fr/201109-GRETSI
(1) EPITA Research and Development Laboratory (LRDE)
(2) Université Paris-Est, Laboratoire d'Informatique Gaspard-Monge,
Equipe A3SI, ESIEE Paris
De plus en plus d'outils logiciels modernes pour le traitement
d'images sont conçus en prenant en compte le problème de la
généricité du code, c'est-à-dire la possibilité d'écrire des
algorithmes réutilisables, compatibles avec de nombreux types
d'entrées. Cependant, ce choix de conception se fait souvent au
détriment des performances du code exécuté. Du fait de la grande
variété des types d'images existants et de la nécessité d'avoir
des implémentations rapides, généricité et performance
apparaissent comme des qualités essentielles du logiciel en
traitement d'images. Cet article présente une approche
préservant les performances dans un framework logiciel générique
tirant parti des caractéristiques des types de données utilisés.
Grâce à celles-ci, il est possible d'écrire des variantes
d'algorithmes génériques offrant un compromis entre généricité et
performance. Ces alternatives sont capables de préserver une
partie des aspects génériques d'origine tout en apportant des
gains substantiels à l'exécution. D'après nos essais, ces
optimisations génériques fournissent des performances supportant
la comparaison avec du code dédié, allant parfois même jusqu'à
surpasser des routines optimisées manuellement.
--
Roland Levillain - LRDE/EPITA - A3SI/ESIEE/LIGM/UMLV-Paris Est
Laboratoire de Recherche et de Développement de l'EPITA (LRDE)
14-16, rue Voltaire - 94276 Le Kremlin-Bicêtre Cedex
Tél. : 01 53 14 59 45 - Fax : 01 53 14 59 13 - www.lrde.epita.fr
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 18 mai 2011 (14h-16h).
Au programme:
* 14h: Utilisation des distances tangentes pour la compensation de
mouvement : Application au codec Theora
-- Jonathan Fabrizio
Pour encoder de manière efficace une séquence vidéo, la redondance
temporelle est souvent utilisée. Pour cela, le mouvement entre l'image
considérée et une image de référence est estimé. Cela permet de générer
une prédiction à partir de l'image de référence et seule la différence
entre la prédiction et l'image réelle est enregistrée. Pour estimer ce
mouvement, les codecs se contentent souvent de suivre l'évolution
spatiale de blocs dans l'image. Ils associent, pour chaque bloc de
l'image considérée, un bloc similaire dans un voisinage proche dans
l'image de référence. Nous présentons ici une méthode originale pour
réaliser cette prédiction par compensation de mouvement. Notre méthode
utilise les distances tangentes. Cela permet non seulement d'estimer
l'évolution de la position des blocs de l'image mais en partie aussi
l'évolution du bloc lui-même. Nos prédictions sont donc de meilleure
qualité. Utilisée dans l'encodage de séquences, on peut espérer un gain
de compression non négligeable. Pour valider l'efficacité de la
méthode,
nous intégrons cette méthode dans le codec Theora et mesurons son
efficacité en comparant les résultats obtenus avec notre méthode et
ceux
obtenus par une stratégie classique (le block-matching).
-- Jonathan Fabrizio est enseignant-chercheur au LRDE depuis l'été
2009.
Il travaille actuellement sur la localisation et l'extraction
automatique de texte dans les images.
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 pleased to announce that my "Clarification Proposal for CLHS 22.3"
has been accepted, finalized and published at the Common Document
Repository. It can now be referred to as CDR #7.
The abstract is given below:
Section 22.3 "Formatted Output" of the Common Lisp Hyperspec describes
the syntax and semantics of format directives. We believe that the
standard is underspecified. We propose to clarify that section, and
suggest that Common Lisp implementations conform to the current behavior
of CMU-CL, CCL, CLISP, Allegro and LispWorks.
--
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
Dynamic Languages Symposium 2011
Co-located with SPLASH 2011
In association with ACM SIGPLAN
Portland, Oregon, USA, October 24, 2011
http://www.dynamic-languages-symposium.org/dls-11/
*** Call for papers ***
The 7th Dynamic Languages Symposium (DLS) at SPLASH 2011 is a forum for
discussion of dynamic languages, their implementation and application.
While mature dynamic languages including Smalltalk, Lisp, Scheme, Self,
Prolog, and APL continue to grow and inspire new converts, a new
generation of dynamic scripting languages such as Python, Ruby, PHP,
Tcl, Lua, and JavaScript are successful in a wide range of applications.
DLS provides a place for researchers and practitioners to come together
and share their knowledge, experience, and ideas for future research and
development.
DLS 2011 invites high quality papers reporting original research,
innovative contributions or experience related to dynamic languages,
their implementation and application. Accepted Papers will be published
in the ACM Digital Library.
Areas of interest include but are not limited to:
- Innovative language features and implementation techniques
- Development and platform support, tools
- Interesting applications
- Domain-oriented programming
- Very late binding, dynamic composition, and runtime adaptation
- Reflection and meta-programming
- Software evolution
- Language symbiosis and multi-paradigm languages
- Dynamic optimization
- Hardware support
- Experience reports and case studies
- Educational approaches and perspectives
- Object-oriented, aspect-oriented, and context-oriented programming
* Submissions and proceedings *
We invite original contributions that neither have 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. 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.
Accepted papers will be published in the ACM Digital Library.
Papers are to be submitted electronically at
http://www.easychair.org/conferences?conf=dls2011 in PDF format.
Submissions must not exceed 12 pages and need to use the ACM format,
templates for which can be found at
http://www.acm.org/sigs/pubs/proceed/template.html.
* Important dates *
Submission of papers: June 17, 2011 (hard deadline)
Author notification: July 19, 2011
Final versions due: August 19, 2011
DLS 2011: October 24, 2011
SPLASH 2011: October 22-27, 2011
* Program chair *
Theo D'Hondt, Software Languages Lab, Vrije Universiteit Brussel, Belgium
* Program committee *
Andrew Black, Portland State University, USA
William R. Cook, University of Texas at Austin, USA
Marc Feeley, University of Montreal, Canada
Roberto Ierusalimschy, PUC-Rio, Brazil
Michele Lanza, University of Lugano, Switzerland
Hidehiko Masuhara, University of Tokyo, Japan
Mira Mezini, University of Darmstadt, Germany
Mark Miller, Google, USA
Manuel Serrano, INRIA Nice, France
Laurence Tratt, Middlesex University, UK
David Ungar, IBM, USA
Didier Verna, EPITA Research and Development Laboratory, France
--
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/
Sponsors: EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
News:
~~~~~
* The final program is now online.
* The early registration deadline is in 3 days, so hurry!
Registration will still be possible afterwards.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Craig Zilles -- Compiling for the common case
Marc Battyani -- Reconfigurable computing on steroids
Apostolos Syropoulos -- Scala: an OO surprise
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".
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
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 16 mars 2011 (14h-16h).
Au programme:
* 14h: Généricité en traitement des images : développement d’algorithmes
complexes et localisés au sein d’une image.
-- Benoît Vandame
La plupart des bibliothèques génériques en traitement d’images mettent
l’accent sur la généricité, la mise en pipeline d’opérations basiques,
mais peu mettent l’accent sur la sélection d’un sous-ensemble de pixels
concerné par un algorithme. En pratique de nombreux algorithmes ne
s’appliquent que sur un sous-ensemble simple (rectangle) ou complexe
(forme contiguë quelconque) de pixels qui ne sont qu’une petite fraction
d’une image. La création d’un masque précisant les pixels concernés ne
semble pas une solution optimale (contrainte mémoire et calculatoire).
Dans le cadre de développement d’algorithmes en traitement d’images et
vidéos, le laboratoire Canon Research Centre France (localisé à Rennes)
développe une bibliothèque générique de traitement d’images qui ajoute
la notion de forme à toute manipulation basique ou complexe d’une image.
Une « arithmétique » des formes permet une sélection précise de pixels
et une exécution efficace d’algorithmes complexes. Les motivations, la
mise en œuvre de cette bibliothèque, les outils "template" utilisés seront
présentés et illustrés d’exemples concrets.
-- Benoît Vandame a obtenu sa thèse (2004) en traitement d’images appliqué
à de grands relevés astronomiques au sein de l’European Southern
Observatory (ESO-Munich). Depuis 2007, il travaille au laboratoire Canon
Research Centre France (CRF-Rennes). Ses travaux portent sur le
computational imaging (super-resolution, light-field imaging). Fort de
son expérience en traitement automatique de larges données, il participe
activement à la création d’une bibliothèque générique de traitement
d’images pour les développements réalisés au sein du laboratoire CRF.
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
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Registration is now open!
See http://www.european-lisp-symposium.org/content-registration-full.html
for details.
The deadline for early registration is March 12.
There is a reduced fee for students and accompanying persons.
You may also subscribe to mailing lists for this year's occurrence
on the registration page.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Craig Zilles -- Compiling for the common case
Marc Battyani -- Reconfigurable computing on steroids
Apostolos Syropoulos -- Scala: an OO surprise
The complete program will be available shortly.
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.
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
We are pleased to announce the release of Spot 0.7.
Spot is a model-checking library developed collaboratively by LRDE and
LIP6. It provides algorithms and data structures to implement the
automata-theoretic approach for LTL model checking.
Highlights in this release include some speed improvements, and
a minimization of WDBA (weak deterministic Büchi automata).
The online translator has also been rewritten.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.7.tar.gz
New in spot 0.7 (2011-02-01):
* Spot is now able to read an automaton expressed as a Spin neverclaim.
* The "experimental" Kripke structure introduced in Spot 0.5 has
been rewritten, and is no longer experimental. We have a
developement version of checkpn using it, and it should be
released shortly after Spot 0.7.
* The function to_spin_string(), that outputs an LTL formula using
Spin's syntax, now takes an optional argument to request
parentheses at all levels.
* src/ltltest/genltl is a new tool that generates some interesting
families of LTL formulae, for testing purpose.
* bench/ltlclasses/ uses the above tool to conduct the same benchmark
as in the DepCoS'09 paper by Cichoń et al. The resulting benchmark
completes in 12min, while it tooks days (or exhausted the memory)
when the paper was written (they used Spot 0.4).
* Degeneralization has again been improved in two ways:
- It will merge degeneralized transitions that can be merged.
- It uses a cache to speed up the improvement introduced in 0.6.
* An implementation of Dax et al.'s paper for minimizing obligation
formulae has been integrated. Use ltl2tgba -Rm to enable this
optimization from the command-line; it will have no effect if the
property is not an obligation.
* bench/wdba/ conducts a benchmark similar to the one on Dax's
webpage, comparing the size of the automata expressing obligation
formula before and after minimization. See bench/wdba/README for
results.
* Using similar code, Spot can now construct deterministic monitors.
* New ltl2tgba options:
-XN: read an input automaton as a neverclaim.
-C, -CR: Compute (and display) a counterexample after running the
emptiness check. With -CR, the counterexample will be
replayed on the automaton to ensure it is correct
(previous version would always compute a replay a
counterexample when emptiness-check was enabled)
-ks: traverse the automaton to compute its number of states and
transitions (this is faster than -k which will also count
SCCs and paths).
-M: Build a deterministic monitor.
-O: Tell whether a formula represents a safety, guarantee, or
obligation property.
-Rm: Minimize automata representing obligation properties.
* The on-line tool to translate LTL formulae into automata
has been rewritten and is now at http://spot.lip6.fr/ltl2tgba.html
It requires a javascript-enabled browser.
* Bug fixes:
- Location of the errors messages in the TGBA parser where inaccurate.
- Various warning fixes for different versions of GCC and Clang.
- The neverclaim output with ltl2tgba -N or -NN used to ignore any
automaton simplification performed after degeneralization.
- The formula simplification based on universality and eventuality
had a quadratic run-time.
--
Alexandre Duret-Lutz