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"

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}

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

Les vidéos de l'événement "LSoC: Logiciels libres et enseignement supérieur" sont maintenant en ligne.

Jeudi 11 avril, nous recevons Claire Dross de Adacore qui nous parlera de "Use formal methods to verify an Ada program with SPARK2014"

Inria propose une troisième édition de "Boost You Code".

In the context of the Mozilla performance week, Nathan Froyd from Mozilla will explain how Firefox makes Javascript run faster.

Le jeudi 16 février à 18h30, à l'université Paris-Diderot, Richard Stallman, fondateur du mouvement du logiciel libre,donnera une conférence exceptionnnelle intitulée "Pour une société numérique libre".

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"

In a week, IRILL will host the Mozilla Performance Work in Paris.

Le 14 mars, nous recevons Pierre-Etienne Meunier du LAMA et LIAFA qui nous parlera de Patoline