Author's posts
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 …
PRIME – Yet another middleware for pervasive computing
On Friday 1 March 2013, 11:00-11:45 INRIA Lille room B31 (new building), Mauro Caporuscio will give a talk on “PRIME – Yet another middleware for pervasive computing” Abstract: Computing facilities are an essential part of the fabric of our society, and an ever-increasing number of computing devices is deployed within the environment in which …
Workshop Cloud SlapOS
What: Journée Cloud SlapOS Who: Christophe Cérin et Alain Takoudjou (Université de Paris 13, LIPN), Cédric de Saint Martin (Nexedi) When: 11 fevrier 2013, all day (9:00-17:00) Where: Inria Lille room B31 (new building) Program: Le matin (9:30 – 12:30) >>>>> 1- Grilles de PC : histoire et projets actuels qui visent à 1) offrir …
Few issues in the development of service oriented architectures
On Monday 28 January 2013, 11:00-11:45 INRIA Lille room B31 (new building), Franscesco Lelli (researcher at the European Research Institute in Service Science (ERISS) and adjunct professor at the University of Tilburg) will give a talk on “Few issues in the development of service oriented architectures” Abstract: This talk presents an overview of a …
Understanding Code Changes With AST Differencing
On Wednesday 12 December 2012, 9:00-9:30 INRIA Lille room B31 (new building), Jean-Rémy Falleri (Associate Professor @ ENSEIRB-MATMECA) will give a talk on “Understanding Code Changes With AST Differencing” Abstract: Finding the differences between two versions of a source code file is a very common operation in software development. It is used in various …
