You are here: Home / Blog

Livrets bleus du logiciel libre

IRILL, par l'intermédiaire du groupe thématique Logiciel Libre, a contribué aux nouveaux livrets bleus.

Les trois livrets publiés traitent des sujets clés portés par IRILL. Ils sont disponibles aux adresses suivantes (PDF):

Plus d'information

Opam Weather Service now online!

Irill starts a package weather service for Opam, and the OCaml community.

Irill is now providing a valuable service to the OCaml community, via a static analysis of the packages present in the Opam repository, based on technology developed in the Mancoosi project.

On it is now possible to find an overview of the OCaml packages that can or cannot be properly installed, with detailed explanations of the reasons for the failures.

More detailed information can be found in this blog article.

Meetup Salt

For the third edition, IRILL is glad to host the Salt meetup. The event will take place Monday 19th, from 19:00 to 23:00.

SaltStack is similar to Chef or Puppet. It is an open source configuration management and remote execution application. More information:

Thomas S Hatch, the original author of Salt, will be present to this event.

More information on the Logilab blog.

This meetup is organized by our friends from Logilab.

SaltStack Paris Meetup

Logilab has set up the second meetup for salt users in Paris on Feb 6th, 2014 at IRILL, near Place d'Italie, starting at 18:00.

Here is the announce in french

Please forward it to whom may be interested, underlining that pizzas will be offered to refuel the chatters ;)

Conveniently placed a week after the Salt Conference, topics will include anything related to salt and its uses, demos, new ideas, exchange of salt formulas, commenting the talks/videos of the saltconf, etc.

If you are interested in Salt, Python and Devops and will be in Paris at that time, we hope to see you there !

Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement

Thursday January 30th, Cagdas Bozman (OCamlPro - ENSTA) will come at IRILL to talk about "Analyse de l'utilisation mémoire des applications OCaml sans changer leur comportement"

Nous étudions le comportement mémoire des applications OCaml, dans le but de mieux comprendre l'utilisation mémoire et essayer de détecter des problèmes comme les fuites mémoire. Dans l'exposé, nous présenterons un premier outil qui génère des graphes de la mémoire des applications OCaml.

Debian Ruby Team 2014 meeting

IRILL hosts the Debian team in charge of Ruby.

On January 15-17, IRILL will host a meeting of the Debian team in charge of Ruby. Organized as a satellite event of the Paris MiniDebConf, this meeting will be focused on two main goals: the transition toward the removal of ruby1.8 from the Debian archive and quality assurance work around Ruby on Rails Debian packages.

QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines

Thursday January 16th, Gabriel Kerneis (Computer Laboratory - University of Cambridge) will come at IRILL to talk about "QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines"

Coroutines and events are two common abstractions for writing concurrent programs. Because coroutines are often more convenient, but events more portable and efficient, it is natural to want to translate the former into the latter. CPC is such a source-to-source translator for C programs, based on a partial conversion into continuation-passing style (CPS conversion) of functions annotated as cooperative.

In this article, we study the application of the CPC translator to QEMU, an open-source machine emulator which also uses annotated coroutine functions for concurrency. We first propose a new type of annotations to identify functions which never cooperate, and we introduce CoroCheck, a tool for the static analysis and inference of cooperation annotations. Then, we improve the CPC translator, defining CPS conversion as a calling convention for the C language, with support for indirect calls to CPS-converted function through function pointers. Finally, we apply CoroCheck and CPC to QEMU (750 000 lines of C code), fixing hundreds of missing annotations and comparing performance of the translated code with existing implementations of coroutines in QEMU.

Our work shows the importance of static annotation checking to prevent actual concurrency bugs, and demonstrates that CPS conversion is a flexible, portable, and efficient compilation technique, even for very large programs written in an imperative language.

Ceylon Tour Paris 2014

January 24th, IRILL will host the Ceylon Tour Paris 2014. The Ceylon Project is a relatively new, high-level, statically and strong-typed programming language and SDK, created by Red Hat. It is based on the Java programming language.

It is a Ceylon conference, for an entire day, free, located in Paris. We will have most of the Ceylon core team, and members of the Ceylon community, who will give short talks and a workshop. Whether you don't know Ceylon yet, or want to know more, this is the place to be. We will present many aspects of the Ceylon language and ecosystem, as well as discuss the future of Ceylon.

Naturally, the conference should be a place of exchange and discussions, so we expect as much value between the talks as during the presentations.


More information on the event

Ceylon on Wikipedia

More videos on IRILL website

IRILL is glad to publish 3 more video events

Three more events recorded by IRILL are now available in video.

De l'utilisation des GPU dans la programmation Réactive/Synchrone "à la" Boussinot

Jeudi 12 décembre, Jean-Ferdinand Susini (CEDRIC-CNAM) viendra présenter ses travaux de recherche.

Le modèle de programmation Réactive/Synchrone proposé par Frédéric Boussinot a été étudié sous diverses variantes depuis le début des années 90, cependant bien que faisant la part belle à l'expression du parallélisme dans les programmes, l'essentiel des implantations (SL, SugarCubes, ReactiveML…) repose sur une traduction purement séquentielle. Quelques expérimentations ont été faites pour appuyer ce modèle sur un exécutif à base de threads (FairThread, FunLoft…), ou bien sur des systèmes répartis (Distributed Reactive Machine, Jocaml & RML…).

Le projet ANR PARTOUT a exploré différentes possibilités de prise en charge du parallélisme dans ce cadre à des niveaux de granularté très différents. Nous nous intéresserons dans cet exposé à l'intégration des calculs déportés sur GPU dans un exécutif réactif et à l'implantation qui en a été faite dans SugarCubes v5 en s'appuyant sur le modèle de calcul OpenCL.