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

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/

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.

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

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.

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

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.

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

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.