IRILL blog

Formal Methods as a Link between Software Code and Legal Rules

dicosmo — 2012-05-16T11:45:59Z

Daniel Le Metayer (Licit - Inria)

The rapid evolution of the technological landscape and the impact of information technologies on our everyday life raise new challenges which cannot be tackled by a purely technological approach. Generally speaking, legal and technical means should complement each other to reduce risks for citizens and consumers : on one side, laws (or contracts) can provide assurances which are out of reach of technical means (or cope with situations where technical means would be defeated); on the other side, technology can help enforce legal and contractual commitments.

LLVM Social in Paris

sylvestre — 2012-05-15T10:11:03Z

o What is LLVM?

LLVM is a collection of modular and reusable compiler and toolchain technologies. It is used as the base of many modern compilers including clang (C/C++/Objective-C), GHC (Haskell), dragonegg (Ada, Fortran, ...),
many commercial OpenCL compilers, RenderScript and many more. Industry, open source community and researchers work on or with LLVM for many reasons. The most cited ones are the modern code base, the liberal BSD like license and the modularity. All making it easy to use LLVM.

LLVM in the context of this social means everything related to LLVM. This includes the core LLVM, but also projects developed in the context of LLVM. These are e.g. vmkit developed at IRILL, Polly developed at ENS, but also lldb (the LLVM debugger), libc++ (a C++ standard library) or in general projects only interested in using LLVM.

o What is a Social?

It is a casual meeting to get to know people working on LLVM or interested to learn about LLVM. There is no fixed schedule and no specific topic. We just meet to have a some drinks to get to know each other. To attend, no previous knowledge about LLVM is required.

o Where/When is it?

Date:       15. Mai 2012
Time:       19:00 pm
Location:   Brasserie - Le Lakanal
Adress:     2, Avenue Rene Coty, 75014 Paris
Map:        http://g.co/maps/jctey
Metro-RER: Denfert-Rochereau

o Do people speak English or French?

Many people attending speak both languages. It will be easy for you to
communicate in your preferred language.

o Do I need to register?

You can just pass by, but it would be nice if you drop us a line at llvm-social-paris@grosser.es, such that we can reserve some tables.

Haxe, le langage multi-plateforme basé sur OCaml

dicosmo — 2012-05-02T16:25:19Z

Jeudi 3 Mai 2012, Alexandre Hoyau (Silex Labs) presentera Haxe, un langage multi-plateforme basé sur OCaml.

Tooling for open source software license compliance

sylvestre — 2012-03-29T14:29:04Z

Open Source software is everwhere. Its open nature and easy availability has significantly stimulated software reuse in every industry, ranging from tax software to avionics. Unfortunately the license terms are often not very well understood or even ignored, which can put companies at significant risk. This is especially visible in consumer electronics, where there have been several lawsuits in Germany, France and the USA.

These lawsuits were, from an engineering point of view, completely useless: proper processes and best practices that have been known for decades in software engineering would have license compliance a trivial problem. Reality is a bit different: companies often don't know what is inside software that they buy, how it was made and what license the software is under. These companies often don't have the budget to invest in expensive tooling, that often does not even solve their problem namely finding out what is in the binaries they are shipping. There is a huge need for cheap, easy and reliable tooling.

In this talk I will briefly touch upon backgrounds about why license violations happen, where problems occur and where they should be fixed, plus introduce the Binary Analysis Tool, an Apache 2 licensed tool for analysing abritrary binary files, such as firmwares, executables and file systems.

Biography: Armijn Hemel, MSc is the General Manager of Tjaldur Software Governance Solutions, a company specializing in offering tooling, training and consultancy in the field of open source software license compliance and software governance. He has been active in the gpl-violations.org project since mid 2005, where he has helped resolve several hundred license violations.

Voir aussi:

Tjaldur Software Governance Solutions

Pattern matching for the masses using custom notations par Nic Volanschi (Matchbox & Metaware)

sylvestre — 2012-03-14T10:28:40Z

Le filtrage (matching) utilisant des motifs déclaratifs (patterns) a fait ses preuves dans de nombreux langages fonctionnels et logiques, en montrant qu'il permet souvent d'écrire des programmes plus concis, plus élégants, et plus lisibles. Malgré ce succès de longue date, le filtrage n'a pas encore trouvé sa voie vers la grande majorité des programmeurs, car il a toujours été négligé par les concepteurs de langages populaires tels que Java, C#, ou JavaScript. Nous montrons que le filtrage par motifs, y compris utilisant des notations personnelles, est facile à integer dans différents langages à objets sous la forme d'une simple bibliothèque, et nous illustrons cette démarche à travers un prototype ouvert nommé Matchbox.

L'exposé sera focalisé sur l'applicabilité pratique de cette démarche, en illustrant aussi ses limitations et des pistes pour les contourner. Enfin, nous esquisserons l'ouverture d'un nouvel espace d'innovation ouverte dans lequel tout programmeur peut sortir de son rôle traditionnel de consommateur de langages pour en devenir un contributeur.

Voir aussi: Metaware

Verifying Fence Elimination Optimisations par Francesco Zappa Nardelli (projet Moscova - Inria)

sylvestre — 2012-03-07T16:01:47Z

Abstract:

We consider simple compiler optimisations for removing redundant memory fences in programs running on top of the x86-TSO relaxed memory model. While the optimisations are performed using standard thread-local control flow analyses, their correctness is subtle and relies on a non-standard global simulation argument. The implementation and the proof of correctness are programmed in Coq as part of CompCertTSO, a fully-fledged certified compiler from a concurrent extension of a C-like language to x86 assembler, built on top of CompCert. In this talk, after recalling the x86-TSO model, I will describe the optimisations and their soundness proof.

VMKit: a Substrate for Managed Runtime Environments

sylvestre — 2012-02-21T08:59:52Z

Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive environment for program execution, by providing portability and safety, via the use of a bytecode language and automatic memory management, as well as good performance, via just-in-time (JIT) compilation. Nevertheless, developing a fully featured MRE, including e.g. a garbage collector and JIT compiler, is a herculean task. As a result, new languages cannot easily take advantage of the benefits of MREs, and it is difficult to experiment with extensions of existing MRE based languages.

This talk will describe and evaluates VMKit, a first attempt to build a common substrate that eases the development of high-level MREs. We have successfully used VMKit to build two MREs: a Java Virtual Machine and a Common Language Runtime. An extensive study of this infrastructure assesses the ease of implementing new MREs or MRE extensions and evaluates the resulting performance. In particular, it took one person only one month to develop a Common Language Runtime using VMKit. VMKit furthermore has performance comparable to the well established open source MREs Cacao, Apache Harmony and Mono, and is 1.2 to 3 times slower than JikesRVM on most of the DaCapo benchmarks.

Conférence de Richard Stallman "Pour une société numérique libre"

sylvestre — 2012-02-12T07:05:27Z

Sujet:

"Les efforts développés pour inciter les gens à utiliser les nouvelles technologies numériques sont réalisés sur la supposition que cette utilisation est invariablement une bonne chose. En jugeant par le seul aspect pratique immédiat, cela semble être le cas. Cependant, si on juge en termes de droits de l'homme, que cette entrée dans ce monde soit bonne ou mauvaise dépend du monde numérique dans lequel nous voulons être inclus. Si nous nous fixons cette inclusion comme objectif, il nous incombe de nous assurer que cela soit réalisé de la bonne manière."

La conférence sera réalisée en français et ne concernera pas d'aspects techniques.

Elle se tiendra à l'amphi Buffon de l'université Paris-Diderot, le jeudi 16 février, à 18h30.
Elle est organisée par l'IRILL et l'Université Paris-Diderot.
Elle sera enregistrée et disponible par la suite.
Les portes seront ouvertes à 18h10. En cas de forte affluence, un second amphithéâtre voisin sera disponible avec la retransmission depuis l'amphi Buffon.
Adresse : 13 rue Hélène Brion, 75013 Paris
Métro et RER : station Bibliothèque François-Mitterand, ligne 14 et RER C.

Plan : http://www.univ-paris-diderot.fr/PRG/includes/plan_quartier_04_08.pdf

Rester en contact avec la FSF : https://crm.fsf.org/civicrm/profile/create?gid=46&reset=1

Université Paris-Diderot : http://www.univ-paris-diderot.fr/

Architecture de Data Publica (Groupe de travail "Programmation")

sylvestre — 2012-02-07T10:21:08Z

Titre : Architecture de Data Publica

Auteur : Christian Frisch (Data Publica)

Abstract : Data Publica répertorie et indexe les données françaises, qu'elles soient publiques ou privées, gratuites ou payantes, locales/nationales/internationales. Les jeux de données (en général des fichiers xls) sont repertoriés initialement manuellement, maintenant automatiquement au moyen de technologies de crawl/scraping. Ils sont ensuite indexés (metadonnées et full texte) dans un moteur de recherche (Solr) et des prévisualisation html sont générées (openoffice-server). Nous avons notamment importé en "bulk mode" les 5000 jeux de données d'Eurostats et les 2700 de data.gouv.fr.

Plus récement, nous avons mis en place une base de données pour stocker une version structurée de ces données. Cette base (MongoDB) utilise un modèle conceptuel générique adapté la donnée publique (Google's DSPL). Cette modelisation permet d'acceder aux données sous forme d'une API générique (type REST/Json) et d'un visualisateur générique (GWT/highcharts/maps). Pour alimenter cette base, nous créons des jeux de données au format DSPL:

manuellement
à partir d'un outil de reconnaissance de tableau développé par INRIA/Zenith
en transformant des jeux de données déjç formatté (type SDMX)

Enjeux actuels:

Chargement en masse de jeux de données à partir des jeux Eurostat, Banque Mondiale, OCDE... et le enjeux de passage à l'echelle
"sémantiser les jeux de données" c'est à dire lier nos concept aux entités correspondantes du monde sémantique (DBPedia, FreeBase, GeoNames...). Construction d'un moteur de recherche qui prend en compte cette modélisation.

Install party à l'ENS-Cachan organisé par Cr@ns

sylvestre — 2012-01-11T17:35:22Z

Le Cr@ns, l'association gérant le réseau des élèves à l'ENS-Cachan, organise une install-party le Samedi 14 Janvier. Durant l'après midi, plusieurs acteurs du monde du logiciel libre en présenteront différent aspects. L'IRILL sera présent et fournira l'infrastructure pour filmer ces conférences.

14h - 15h : Luca Saiu

"Le mouvement du logiciel libre"

Le mouvement du logiciel libre est basé sur quatre libertés : la liberté d'utiliser un programme pour n'importe quelle finalité, la liberté de le modifier, celle d'en redistribuer des copies exactes, et celle d'en distribuer des copies modifiées qui contribueront à son développement. Né en 1983 de l'«idéalisme pragmatique» d'une seule personne essayant de reconstruire une communauté centrée sur les droits des utilisateurs, le logiciel libre profite aujourd'hui d'un développement exceptionnel en quantité et qualité des productions. Nous allons parler de l'histoire et de la philosophie de ce mouvement fascinant, des aspects légaux et pratiques de l'utilisation du logiciel libre et de son développement.

15h - 16h : Stéphane Bortzmeyer

"Peut-on se passer de moteurs de recherche ?"

Aujourd'hui, beaucoup d'utilisateurs dépendent entièrement d'un moteur de recherche pour toute navigation sur l'Internet. On entend même des enseignants de collège dire aux élèves « Pour aller sur Wikipédia,
tapez "wikipedia" dans Google » Pourquoi est-ce une mauvaise idée ?
Quels sont les inconvénients des moteurs de recherche ? Que se passe-t-il lorsqu'une panne ou la censure modifie le résultat d'une recherche ? Quels sont les points forts des moteurs de recherche, où ils sont utiles ? À quoi
sert le DNS et pourquoi est-ce important de comprendre les noms de domaine ?

Une amusante vidéo qui illustre bien les inconvénients de la dépendance envers Google :
<http://normanfaitdesvideos.com/2011/10/19/maintenant-jai-google/>

16h - 17h : Jean-Vincent Loddo

"Tirer les ficelles de l'architecture TCP/IP avec Marionnet"

Marionnet est un logiciel permettant de définir, configurer, exécuter et contrôler un réseau virtuel constitué d'ordinateurs utilisant le système d'exploitation GNU/Linux, de concentrateurs, de commutateurs,
et de routeurs. Avec Marionnet, il est possible d'expérimenter la mise en oeuvre complète d'un réseau local : le projet, le câblage, le lancement, la configuration, l'administration, l'étude de protocoles et le test de
services ou d'applications. Il permet de pratiquer, analyser et contrôler les différentes couches réseaux qui constituent l'architecture DoD (TCP/IP): depuis le niveau physique jusqu'au niveau application. Adopté dans une
structure universitaire, Marionnet permet de réduire l'utilisation des vraies salles de « TP réseau », constituées d'équipements souvent onéreux et difficiles à maintenir en parfait état de marche. Il permet aussi aux étudiants de travailler à distance ou dans les salles informatiques ordinaires en accès libre.

Planning du LSoC: Logiciels libres et enseignement supérieur

sylvestre — 2012-01-30T14:27:31Z

Comme indiqué dans un message précédent, IRILL organise et accueillera une journée de conférences et de discussions sur l'enseignement de technologies des logiciels libres dans l'enseignement supérieur. L'organisation de la journée est maintenant connue:

9h   - 9h30     : Réception, café
9h30 - 10h      : Session d'ouverture, Enseignement supérieur et logiciels libres, panorama des initiatives en France. (Ivaylo Ganchev, université Paris 8)
10h - 10h30    : Les initiatives autour du libre à l'EPITA (Olivier Ricou, EPITA)
10h30 - 11h    : L'enseignement des technologies Mozilla à l'université d'Evry - CoMETE (Didier Courtaud, CEA)

11h   - 11h20   : Pause

11h20 - 11h50   : Développement de VLC à l'Ecole centrale de Paris (Jean-Baptiste Kempf, Videolan)
11h50 - 12h20   : Réalisation de projets libres dans le cadre d'un cours magistral à l'université Paris 8 (Karine Mordal, université Paris 8)

12h20 - 14h     : Pause déjeuner

14h     - 14h30 : Développement de module Open Office à l'école centrale de Nantes (Morgan Magnin, Nelle Varoquaux, Benjamin Vialle, EC Nantes)
14h30 - 15h     : Enseignement des technologies KDE à l'université Paul Sabatier Toulouse (Kevin Ottens, KDE)
15h     - 15h30 : Utilisation du logiciel libre à l'université du Littoral: Master logiciel libre (Cyril Fonlupt, Eric Ramat, Master I2L, université du Littoral)

15h30 - 16h    : Pause

16h - 16h15 : La nuit de l'info - retour sur expérience (Pierre-Allain Muller, Université de Haute-Alsace)
16h15 - 17h30 : Table ronde : Libre semester of Code, mutualisation de ressources pédagogiques et autres sujets discutés pendant la journée (Albert Cohen, Roberto Di Cosmo)

LSoC: Logiciels libres et enseignement supérieur

sylvestre — 2012-01-04T16:32:50Z

Inscription gratuite, mais obligatoire, sur ce formlaire en ligne

L'IRILL organise une journée de conférences et de discussions sur l'enseignement de technologies des logiciels libres dans l'enseignement supérieur. Notre volonté est de réunir des enseignants et des étudiants de l'enseignement supérieur qui ont eu l'expérience d'enseigner ou d'avoir des cours sur une ou des technologies du monde des logiciels
libres pour une journée de partage d'expériences et de réflexions. Une table ronde suivra pour discuter de la mise en place d'activités coordonnées, et notamment sur un projet inspiré de Summer of Code de Google [5], inséré dans le cursus universitaire.

En effet les dernières années nous avons constaté qu'une multitude d'initiatives ont eu lieu dans différentes universités françaises, mais qui sont restées sans ou avec peu de retour d'expérience. Il serait pourtant particulièrement enrichissant pour les autres membres de la communauté universitaire d'avoir des témoignages de ces expériences.
Ainsi nous pouvons nous en inspirer des bons exemples et essayer d'améliorer les pas si bonnes. En tout cas cela nous permettra de généraliser l'enseignement des technologies libres dans le monde universitaire, car nous sommes convaincus par nos propres expériences et par des témoignages [1, 2, 3] que cela apporte beaucoup aux étudiants, aux enseignants aux établissements et aux communautés du libre.

Plusieurs experts sont invités à venir présenter leurs expériences le jeudi 2 février 2012, dans les locaux de l'IRILL à l'antenne parisienne de l'INRIA, 23, avenue d'Italie, 75013 Paris.

Ce sera également l'occasion de réfléchir sur l'initiative lancée par Albert Cohen reprenant des idées de plusieurs personnes, dont Roberto Di Cosmo, Laurent Séguin (Systematic GTLL) et surtout Olivier Berger (Telecom SudParis) nommée Libre Semester of Code (ou LSoC). Cette initiative est inspiré par le Google Summer of Code et cherche à prolonger cette expérience dans le cadre de la formation universitaire. Pour un peu plus de détails vous pouvez allez voir la présentation du LSoC à la conférence fOSSa à Lyon cette année [4].

Cette journée est préparée par:
Roberto Di Cosmo (Université Paris 7, IRILL),
Albert Cohen (INRIA, IRILL),
Ivaylo Ganchev (LIASD, Université Paris 8).

Références:

M. Pedroni, & Co, "Open source projects in programming courses", in Proc. SIGCSE, 2007
D. Carrington and S.-K. Kim. "Teaching software design with open source software." In Proc. FIE, 2003.
R. Hess and P. Paulson. "Linux kernel projects for an undergraduate Operating Systems course." In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE), 2010
http://blog.inria.fr/fossa/wp-content/uploads/2011/07/lsoc.pdf
http://code.google.com/soc

Debian bug Squashing Party (Wheezy)

sylvestre — 2011-12-01T16:42:10Z

Next February, 17 to 19th, a Bug Squashing Party (BSP) is organized at IRILL offices.

The principle of a BSP is to gather Debian contributors to tackle a maximum of bugs in Debian.

This event is also the opportunity for new potential contributors to meet Debian Developers or Maintainers. Numerous regular contributors will attend to this BSP and will help newcomers to fix their first bugs.

For organization reasons, an inscription on the Debian wiki is mandatory.

“Open Source Innovation Catalyst” track

sylvestre — 2011-10-18T21:37:59Z

Organized by IRILL (http://www.irill.org) with support from ICT Labs (http://eit.ictlabs.eu/)

Software is a pervasive element in research, not only in Computer Science, for which it is natural to produce software artifact, but in all other disciplines too, where the need to manage and elaborate information pushes researchers to develop and maintain significant software tools.

Open Source software coming from these research activities is a really interesting object for technology transfer, which is essential to produce the innovation on which the competitiveness of modern industry relies. By simplifying matters related to intellectual property, and building collaborative communities, Open Source software lends itself very naturally to fluid transfer and innovation activities. It is thus possible to gain significant productivity in the building of complex software systems, reducing the R&D costs and increasing software reliability.

Good practices in technology transfer using Open Source, as well as difficulties one may encounter in the process, are the key subject of this track.

The programme is the following:

Welcome

Roberto Di Cosmo, IRILL and Patrick Moreau, Inria

OtaSizzle - an Open Platform to Transfer Technology from a Research Project

to Practice

Olli Pitkänen, Helsinki Institute for Information Technology HIIT

Kassi - creating business opportunities from an open source research project

Juho Makkonen, Kassi

Possible industrial use cases of KALIMUCHO

Philippe Roose, Associate Professors, LIUPPA/Laboratoire d'Informatique de l'UPPA

Polarsys (previously OPEES) as a mean to catalyse the maturation process

(from TRL3 to TRL6) for OSS projects in the Embedded Software space.

Gael Blondelle, OBEO

Open Source Innovation Factory

Paolo Ceravolo, Assistant Professor, Università degli Studi di Milano, Italy, in

collaboration with Engineering Group

Open source and Standardisation

Jamil Chawki, Orange Group

An Open Source-Based Approach for Industrializing Research Tools

Hugo Bruneliere – R&D Engineer – AtlandMod Team (INRIA, EMN & LINA)

Creating Value with Open Source

Teodor Danciu, Founder and Architect JasperReports, Jaspersoft

Sysadmin: episode 3

sylvestre — 2011-10-04T16:45:31Z

From October 20th to the 21th, and for the third time, the french sysadmin community will gather to discuss about various topics related to sysadmin.

In a world where free software is the key, IRILL is glad to host this conference.

Full program (French)

Inscription à l'atelier (EC2 étant utilisé, une participation est demandée)

Inscription aux conférences