Bonjour,
nous avons le plaisir de vous inviter au Séminaire des étudiants du LRDE.
Il aura lieu le mercredi 16 janvier 2019 à partir de 10h00 en Amphi IP11 (KB).
Les étudiants ING3 présenteront le résultat de leurs travaux des derniers
mois.
Au programme :
SPOT — BIBLIOTHEQUE DE MODEL CHECKING
10h00 Recherches de contrexemple dans
Spot – CLÉMENT GILLARD
Spot est une bibliothèque de manipulation
d'ω-automates qui tend à aider la vérification de
modèles par ω-automates et le développement d'outils
de transformation d'ω-automates. Elle fournit donc de
multiples algorithmes avec de multiples implémentations qui
fonctionnent sur une grande variété d'ω-automates.
Parmi ces algorithmes, les tests de
vacuité et les recherches de contrexemple sont souvent
utilisés pour diverses raisons. Comme leurs résultats
sont liés, ils sont souvent utilisés ensemble. Cependant,
il manque à Spot les implémentations de recherche de
contrexemple correspondant à certaines implémentations de
tests de vacuité qui soient capables de travailler de la
même manière sur les mêmes automates. Nous
présentons deux implémentations de calcul de contrexemple,
qui viennent compléter deux implémentations de tests de
vacuité déjà existantes, qui suivent leur sillage et se
servent des données déjà accumulées pour construire
efficacement des contrexemples.
10h30 Compression d’états dans
Spot – ARTHUR REMAUD
Pour représenter un système par un automate, il
faut sauvegarder toutes les valeurs des variables
du système pour chaque état de l'automate. Cela
peut prendre beaucoup de place en mémoire
lorsqu'il y a beaucoup de variables et/ou d'états,
et de fait ralentit le temps d'exécution à cause
des défauts de cache. Pour contourner ce problème
dans Spot, on utilise une simple compression du
tableau contenant les variables d'un état, et ce
pour chaque état, ce qui réduit la mémoire
utilisée et aussi le temps d'exécution. Dans ce
rapport, nous présentons une structure de données
qui améliore la compression des variables en
utilisant la redondance des valeurs présentes
dans différents états, et les différents
problèmes rencontrés lors de son ajout dans
Spot.
11h00 Mesures sur la réduction d’ordre partiel
dans Spot – VINCENT TOURNEUR
Ce rapport résume trois méthodes implémentées dans
l'outil de vérification de modèles Spot. La première
vise à améliorer la conversion de modèle de programme
en structure de Kripke grâce à la réduction d'ordre
partiel, une technique qui ignore l'ordre de certaines
actions du programme. Cela permet de réduire la taille de
la structure de Kripke. La seconde méthode modifie la
première pour permettre de l'utiliser pour tester des
propriétés LTL. La troisième a pour but de vérifier
qu'un modèle ne contient pas de livelock, sans utiliser de
propriété LTL. Nous testons toutes ces méthodes, en nous
concentrant sur leur but commun : réduire la quantité de
mémoire requise, ce qui est un goulot d'étranglement
important dans le domaine de la vérification de
modèles.
--
Daniela Becker
Responsable administrative du LRDE
ELS'19 - 12th European Lisp Symposium
Hotel Bristol Palace
Genova, Italy
April 1-2 2019
In cooperation with: ACM SIGPLAN
In co-location with <Programming> 2019
Sponsored by EPITA
http://www.european-lisp-symposium.org/
Recent news:
- Keynote by Stefan Monnier on Emacs Lisp
- Keynote by Christophe Rhodes on SBCL
- Guest appearance by Matthew Flatt on Racket
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 and Lisp-inspired
dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP,
Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We
encourage everyone interested in Lisp to participate.
The 12th European Lisp Symposium 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.
Topics include but are 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
We invite submissions in the following forms:
Papers: Technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
Demonstrations: Abstracts of up to 2 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.
The symposium will also provide slots for lightning talks, to be
registered on-site every day.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM Computing Classification System 2012 concepts and
terms. Submissions should be uploaded to Easy Chair, at the following
address: https://www.easychair.org/conferences/?conf=els2019
Note: to help us with the review process please indicate the type of
submission by entering either "paper", "demo", or "tutorial" in the
Keywords field.
Important dates:
- 01 Feb 2019 Submission deadline
- 01 Mar 2019 Notification of acceptance
- 18 Mar 2019 Final papers due
- 01-02 Apr 2019 Symposium
Programme chair:
Nicolas Neuss, FAU Erlangen-Nürnberg, Germany
Programme committee:
Marco Antoniotti, Universita Milano Bicocca, Italy
Marc Battyani, FractalConcept, France
Pascal Costanza, IMEC, ExaScience Life Lab, Leuven, Belgium
Leonie Dreschler-Fischer, University of Hamburg, Germany
R. Matthew Emerson, thoughtstuff LLC, USA
Marco Heisig, FAU, Erlangen-Nuremberg, Germany
Charlotte Herzeel, IMEC, ExaScience Life Lab, Leuven, Belgium
Pierre R. Mai, PMSF IT Consulting, Germany
Breanndán Ó Nualláin, University of Amsterdam, Netherlands
François-René Rideau, Google, USA
Alberto Riva, Unversity of Florida, USA
Alessio Stalla, ManyDesigns Srl, Italy
Patrick Krusenotto, Deutsche Welle, Germany
Philipp Marek, Austria
Sacha Chua, Living an Awesome Life, Canada
Search Keywords:
#els2019, ELS 2019, ELS '19, European Lisp Symposium 2019,
European Lisp Symposium '19, 12th ELS, 12th European Lisp Symposium,
European Lisp Conference 2019, European Lisp Conference '19
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
Hello,
I'm happy to announce the release of FiXme version 4.5.
What's new in this version:
* Public interface for extending FiXme with new key/value options.
* Revamp the AUCTeX support
* Fix PDF signature layouts not working anymore
* Fix spurious space at the end of environments contents
Grab it directly here:
http://www.lrde.epita.fr/~didier/software/latex.php#fixme
or wait until it propagates through CTAN...
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
