IRILL blog http://www.irill.org Blog of IRILL (Research and Innovation Initiative on Free Software) daily 1 2012-12-18T12:17:13Z Euro LLVM 2013 videos and feedback http://www.irill.org/blog/euro-llvm-2013-videos-and-feedback Two weeks after the Euro LLVM event in Paris, IRILL is glad to share the videos of the event. All the videos are available on the IRILL website:

http://www.irill.org/videos/euro-llvm-2013

A feedback of the conference has been published on the LLVM blog:

http://blog.llvm.org/2013/05/eurollvm-2013-paris-france.html

]]> No publisher Sylvestre Ledru 2013-05-14T12:50:00Z News Item DebConf 11 and 12 videos available http://www.irill.org/blog/debconf-11-and-12-videos-available To celebrate the release of Debian Wheezy (7.0), IRILL is glad to publish all the videos of the Debian Conference (DebConf) 2011 and 2012. The 128 videos are available both as OGG and MP4 (H-264) formats. DebConf 11, the annual Debian conference took place in Banja Luka, Republika Srpska, Bosnia and Herzegovina. 56 talks or BoF have been recorded during this event:

http://www.irill.org/videos/debconf-11/

DebConf 12 took place in Managua, Nicaragua. 72 talks or BoF have been recorded during this event, including many of them in Spanish.

http://www.irill.org/videos/debconf-12/

]]> No publisher Sylvestre Ledru 2013-05-06T14:30:00Z News Item Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model http://www.irill.org/blog/compiler-testing-via-a-theory-of-sound-optimisations-in-the-c11-c-11-memory-model Jeudi 25 avril, nous recevons CRobin Morisset - Parkas (INRA, DI ENS) avec Pankaj Pawan et Francesco Zappa Nardelli qui nous parleront de "Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model" Compilers sometimes generate correct sequential code but break the concurrency memory model of the programming language: these subtle compiler bugs are observable only when the miscompiled functions interact with concurrent contexts, making them particularly hard to detect. In this work we design a strategy to reduce the hard problem of hunting concurrency compiler bugs to differential testing of sequential code and build a tool that puts this strategy to work. Our first contribution is a theory of sound optimisations in the C11/C++11 memory model, covering most of the optimisations we have observed in real compilers and validating the claim that common compiler optimisations are sound in the C11/C++11 memory model. Our second contribution is to show how, building on this theory, concurrency compiler bugs can be identified by comparing the memory trace of compiled code against a reference memory trace for the source code. Our tool identified several mistaken write introductions and other unexpected behaviours in the latest release of the gcc compiler.

]]> No publisher Sylvestre Ledru 2013-04-23T14:33:38Z News Item Schedule of Euro LLVM 2013 published http://www.irill.org/blog/schedule-of-euro-llvm-2013-published
In less than two weeks, the 2013 edition of the Euro LLVM conference will start in historic center of Paris, France.  The schedule has just been published.  Most of different aspects of the LLVM infrastructure will present at the event.  See below for the full details!

Monday, April 29th

Time Room Subject
11:00 - 13:00 Entrance Registration
12:30 - 13:15 ENS restaurant Lunch
13:14 - 13:30 Dussane Welcome - Day 1
13:30 - 14:30 Dussane Keynote : Optimization in LLVM - Numbers, A Case Study, and Looking Forward
14:30 - 15:15 Dussane Talk : Towards OpenMP Support in LLVM
Résistants Talk : Dagger: decompilation to LLVM IR
15:15 - 15:45 Coffee break
15:45 - 16:30 Dussane Talk : LLVM on IBM POWER processors: a progress report
Résistants Talk : Performing Source-to-Source Transformations with Clang
16:30 - 17:15 Dussane Talk : How to implement an LLVM Assembler
Résistants Talk : clang-format - Automatic formatting for C++
20:00 - 23:00 Dinner cruise on the Seine river, in Paris, for those who registered to the dinner

Tuesday, April 30th

Time Room Subject
8:45 - 9:00 Dussane Welcome - Day 2
9:00 - 10:00 Dussane Keynote : How Computers Work
10:00 - 10:45 Dussane Talk : LLVM Interpreter, a key component in validation of OpenCL compilers
Résistants Talk : Run-time tracking of uninitialized data with MemorySanitizer
10:45 - 11:05 Coffee break
11:05 - 12:05 Dussane Lightning talks
12:05 - 12:35 Résistants Posters
Cavailles Posters
12:35 - 13:35 ENS restaurant Lunch
13:35 - 14:20 Dussane Talk : lld - Solving the Linking Performance Problem
Résistants Talk : An experimental framework for Pragma Handling in Clang
14:20 - 15:05 Dussane Talk : Debug Info - Status and Directions
Résistants Talk : Implementing Data Layout Optimizations in LLVM Framework
15:05 - 16:05 Dussane Tutorial : The Clang AST - a tutorial
16:05 - 16:20 Dussane Closing word

The event is sponsored by ARM, Google, IRILL/INRIA, Intel, Parrot, QuIC, Samsung]]> No publisher Sylvestre Ledru 2013-04-19T17:13:59Z News Item Videos : Logiciels libres et enseignement supérieur http://www.irill.org/blog/videos-logiciels-libres-et-enseignement-superieur Les vidéos de l'événement "LSoC: Logiciels libres et enseignement supérieur" sont maintenant en ligne. L'année dernière avait lieu la première session de la journée de conférence et discussion  Logiciels libres et enseignement supérieur.

IRILL est heureux de diffuser les 9 présentations qui ont eu lieu lors de cet événement: http://www.irill.org/videos/education-et-FLOSS

]]> No publisher Sylvestre Ledru 2013-04-12T15:55:00Z News Item Use formal methods to verify an Ada program with SPARK2014 http://www.irill.org/blog/use-formal-methods-to-verify-an-ada-program-with-spark2014-1 Jeudi 11 avril, nous recevons Claire Dross de Adacore qui nous parlera de "Use formal methods to verify an Ada program with SPARK2014" From the beginning, the Ada language was designed for critical software. It is still mostly used for the development of such systems. To facilitate the expression of requirements for the verification of programs, the last update of the Ada language includes new capabilities, such as contracts on functions or type invariants. With the increase cost of unit testing, the certification standards are opening to formal methods as a new way to address verification activities. Therefore, more and more users are interested in using formal methods for verifying part of their software.

In this talk, we present the upcoming version of the SPARK subset of Ada. It aims at easily allowing formal analysis on parts of an Ada program. We then give some hints on how formal verification is conducted in this tool. Finally, we explain how formal proof can be used in combination with more traditional testing.

]]> No publisher Sylvestre Ledru 2013-04-09T13:54:07Z News Item « Boostez » votre code ! http://www.irill.org/blog/boostez-votre-code Inria propose une troisième édition de "Boost You Code". Vous êtes étudiant ? Ingénieur jeune diplômé ? Le développement logiciel open source vous passionne ? Cette année encore, inria vous donne l'opportunité avec le concours Boost Your Code de présenter votre projet à un jury de scientifiques et de professionnels. Et toujours à la clé, un contrat d'un an pour développer votre projet  au sein de notre Institut.

Plus d'informations

]]> No publisher Sylvestre Ledru 2013-03-30T09:50:00Z News Item How Firefox Makes Your JavaScript Run Faster http://www.irill.org/blog/how-firefox-makes-your-javascript-run-faster In the context of the Mozilla performance week, Nathan Froyd from Mozilla will explain how Firefox makes Javascript run faster. JavaScript performance has become increasingly important over the last several years, as the size of web applications have increased and as JavaScript has become an attractive target for language translation, a sort of "bytecode for the web".

This talk will discuss several of the techniques the JavaScript engine in Firefox uses to improve JavaScript performance. We will also describe asm.js, a subset of JavaScript designed for efficient translation to machine code and suitable as a target for language translation.

]]> No publisher Sylvestre Ledru 2013-03-20T17:35:00Z News Item On the provenance of Free and Open Source Software and the legal implications of its reuse http://www.irill.org/blog/on-the-provenance-of-free-and-open-source-software-and-the-legal-implications-of-its-reuse Jeudi 21 mars, nous recevons Daniel German qui nous parlera de "On the provenance of Free and Open Source Software and the legal implications of its reuse" Free and Open Source Software (FOSS) has become an important source of components to reuse, in both commercial and non commercial software. While these components are free (i.e. gratis) they are made available with a license that indicates the conditions under which it can be used. As a consequence, the license of a component might restrict how it can be reused. In this talk I'll describe our recent work regarding reuse of FOSS components:

  • The problem of provenance discovery in FOSS. Components are frequently distributed in binary form, making it difficult to trace back their origin. In other cases code snippets are copied from one product to another. I'll describe Joa, a system that is capable of finding the provenance of Java classes in both binary and source code form.
  • The problem of license compliance and auditing: how to determine if a software system is satisfying all the legal constraints imposed by the components it reuses. I'll describe Ninka, a system for license identification, and a model that puts together Joa and Ninka to do license compliance of Java applications

More: Daniel's blog

]]> No publisher Sylvestre Ledru 2013-03-17T13:40:00Z News Item Mozilla Performance Work Week at IRILL http://www.irill.org/blog/mozilla-performance-work-week-at-irill In a week, IRILL will host the Mozilla Performance Work in Paris. The goal is this event is to improve the performances of the various Mozilla software like Firefox or Thunderbird.

The event, internal to the Mozilla community, will take place at IRILL between the March 18 to the 22.

]]> No publisher Sylvestre Ledru 2013-03-11T14:51:23Z News Item Patoline : la typographie "lego" en OCaml http://www.irill.org/blog/patoline-la-typographie-lego-en-ocaml Le 14 mars, nous recevons Pierre-Etienne Meunier du LAMA et LIAFA qui nous parlera de Patoline

Depuis TeX82, bien peu d'outils ont été développés pour la typographie automatique, en particulier des mathématiques. Dans cet exposé, je présenterai une collection d'outils et de bibliothèques OCaml, développés au LAMA en 2012, pour l'écriture de documents structurés.

L'une des idées directrices de notre approche est de rendre les parties de ce projet les plus indépendantes possible, pour éviter de tomber dans le piège de TeX et LaTeX, qui ont enfermé leurs utilisateurs dans un langage immobile pendant 30 ans. Ainsi, il est possible de remplacer des morceaux de Patoline à presque tous les niveaux, tout en restant compatible avec le reste : on peut changer le langage, l'algorithme d'optimisation, le driver de sortie, le modèle de structure des documents… tout en conservant le reste des fonctionnalités.

]]> No publisher Sylvestre Ledru 2013-03-11T14:25:00Z News Item FOSDEM 2013 videos available http://www.irill.org/blog/fosdem-2013-videos-available All the videos recorded during FOSDEM 2013 are now available on the IRILL website.

For example, two videos can be recommended:

]]> No publisher Sylvestre Ledru 2013-02-28T16:55:00Z News Item Harmony : Une plate-forme d'observation de l'évolution logicielle http://www.irill.org/blog/harmony-une-plate-forme-dobservation-de-levolution-logicielle Xavier Blanc du Labri viendra le jeudi 28 février à IRILL pour présenter et échanger autour de Harmony. Plusieurs métriques permettent de mesurer la qualité interne d’une application (complexité cyclomatique, profondeur de l’arbre d’héritage, dépendances d’architecture, etc.). Pour autant, le lien entre métriques et effort de développement ou de maintenance n’a pas encore été pleinement démontré. En effet, si plusieurs études montrent qu’il existe une corrélation entre métriques et maintenance, ces mêmes études montrent que les corrélations dépendent de plusieurs facteurs tels que la nature de l’application, l’organisation des développeurs mais aussi des langages de programmation utilisés.

L’équipe Génie Logiciel du LaBRI, qui effectue sa recherche sur l’évolution logicielle, a développé Harmony, un outil d’observation permettant de mesurer l’impact des métriques sur la maintenance logicielle. L’objectif étant de mesurer la valeur des métriques sur l’évolution de plusieurs applications et d’en calculer leurs impacts.

Cette présentation à l’IRILL aura pour objectif de présenter Harmony et de faire un point sur l’état de l’art des études portant sur le domaine des métriques et de l’évolution logicielle. Nous présenterons les résultats que nous avons obtenus dans ce domaine.

]]> No publisher Sylvestre Ledru 2013-02-26T10:20:32Z News Item GSoC Meetup à IRILL http://www.irill.org/blog/gsoc-meetup-a-irill IRILL accueillera un meetup autour du Google Summer of Code (GSoC) le 13 mars prochain. Le 13 mars prochain, IRILL accueillera un meetup autour du Google Summer of Code (GSoC).
Ce meetup est à destination de potentiels étudiants mais aussi de mentors.
Le but de ce meetup est de présenter le Google Summer of Code, son fonctionnement et ses différents jalons.
Des représentants des projets Debian, LLVM, Gnome et Scilab seront présents  lors de ce meetup pour présenter leurs projets et répondre aux questions des potentiels étudiants.

Ce meetup aura lieu le 13 mars entre 16 et 20 heures dans les locaux d'IRILL
dans la salle Algorithme.

]]> No publisher Sylvestre Ledru 2013-02-20T16:45:00Z News Item Le sens du partage. http://www.irill.org/blog/le-sens-du-partage Le 14 février, nous recevons Thibaut Balabonski de l'équipe Gallium à Inria, qui nous parlera du sens du partage Le partage, ou la mémorisation de résultats intermédiaires, ajoute des « raccourcis » à l'espace de réduction d'un programme fonctionnel. On pourrait penser que ces raccourcis permettent d'arriver plus vite au résultat. Ce n'est cependant qu'à moitié exact.  Nous montrerons en effet que dans le cadre de la « réduction faible », qui donne une bonne approximation des stratégies d'évaluation que l'on sait mettre en œuvre simplement, les réductions optimales avec ou sans partage ont même longueur.  En revanche, toujours en réduction faible, nous verrons que sans partage ces stratégies optimales ne peuvent pas être calculables, alors qu'avec partage il existe des stratégies optimales très simples, à commencer par « l'appel par nécessité » de Wadsworth. Le partage ne modifie donc pas la borne inférieure. Il la rend accessible.

Attention. Cet exposé contient des utilisations inusuelles du lambda-lifting et des transformations CPS.
]]> No publisher Sylvestre Ledru 2013-02-11T21:00:00Z News Item