What: Supporting Concurrency Abstractions with Ownership-based Metaobject Protocols When: February 11 14:00 Who: Stefan Marr http://stefan-marr.de/research/ Where: b21, Lille Abstract: Implementing concurrent programming languages on top of today’s multi-language virtual machines (VMs) is challenging, because these VMs provide only rudimentary support for such languages. We propose ownership-based metaobject protocols (OMOPs) as a unifying substrate for …
Category: Talk
MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud
Quand: lundi 13 janvier de 14h00 à 15h00 à Inria Lille salle B31 Titre : MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud Intervenant : Wendpanga Francis OUEDRAOGO – LIRIS INSA de Lyon Résumé : Le développement de stratégies collaboratives entre entreprises s’appuie largement sur la création de processus communs. Pour …
Program Comprehension with Moose and Hapax
Title: Program Comprehension with Moose and Hapax Presenter: Gustavo Santos (Federal University of Minas Gerais – Brazil) When: November 15th 2013 at 10h Where: B31 Abstract: Software visualization techniques have been proposed to improve program comprehension, as large system get difficult to understand and maintain. This talk presents the integration of Hapax with Moose. Hapax …
SMT and combination of theories
On Thursday 14 November 2013, 11:00-12:00 room B31 of INRIA Lille, Pascal Fontaine (LORIA Nancy) will give a talk on “SMT and combination of theories”. Abstract: Satisfiability Modulo Theories (SMT) solvers are used in an increasing number of applications. After a brief presentation of the internals of SMT solvers, we will review some results …
Automatic Detection of Floating-Point Exceptions
On Friday 8 November 2013, 14:00-15:00 Room B31 of INRIA Lille, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”. Abstract: Floating-point exceptions can be disastrous, yet writing exception-free numerical programs is very difficult. In this talk, I will present Ariadne, a practical symbolic execution system specifically designed …
Discovering Program Invariants and Automatic Program Repair
On Thursday 10 October 2013, 9:30-10:30 INRIA Lille Salle Plénière (aka du Conseil), Westley Weimer (University of Virginia) will give a talk on “Discovering Program Invariants and Automatic Program Repair “. Abstract: There are more bugs in real-world programs than human programmers can realistically address. Automatic program repair has been a longstanding goal in …
cTuning.org: systematizing program optimization using crowdsourcing and predictive modeling
On Wednesday 18 September 2013, 11:00-12:00 INRIA Lille room B31 (new building), Grigori Fursin (INRIA, Saclay) will give a talk on “cTuning.org: systematizing program optimization using crowdsourcing and predictive modeling”. Abstract: Continuing innovation in science and technology is vital for our society and requires ever increasing computational resources. However, delivering such resources has become …
Mining and Understanding Bug Repositories
On Friday 13 September 2013, 14:00-15:00 INRIA Lille room B31 (new building), Jifeng Xuan (INRIA Adam) will give a talk on “Mining and Understanding Bug Repositories”. Abstract: Software bug repositories are large-scale databases in software development and maintenance. To face with complex problems in bug repositories, mining techniques are used to analyze software bug …
Engineering self-adaptive, self-organising systems: the smart grid use case
On Tuesday 16 July 2013, 14:00-14:45 INRIA Lille room B31 (new building), Sylvain Frey will give a talk on “Engineering self-adaptive, self-organising systems: the smart grid use case” Abstract: Designing the control infrastructure of future “smart” electrical grids is a challenging task. Such grids will integrate a wide variety of producers and consumers that …
(Français) Du calcul mathématique aux calculs informatiques
Sorry, this entry is only available in French.
