Category: Talk

On the Naturalness of Software: A Research Vision

What: On the Naturalness Software: A Research Vision Who: Earl Barr (University College London) When: June 20th, 2014, 15:00 – 15:45 Where: Inria Lille, Salle Plénière, http://goo.gl/maps/32z7m Abstract: Natural languages like French are rich, complex, and powerful. The highly creative and graceful use of languages like French and Tamil, by masters like Flaubert and Avvaiyar, …

Continue reading

On the problem statement and evaluation of automatic software repair

What: On the problem statement and evaluation of automatic software repair Who: Martin Monperrus (University of Lille & Inria) When: May 28th, 2014, 11:00 – 12:00 Where: Inria Lille, Room B21, http://goo.gl/maps/32z7m Abstract: At ICSE’2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a …

Continue reading

Towards Language Composition by Laurence Tratt

Who: Laurence Tratt, Software Development Team, King’s College London http://tratt.net/laurie/ Where: B31 When: Thursday, 15th of May, 15h What: Towards Language Composition We want better programming languages, but “better” invariably ends up becoming “bigger”. Since we can’t keep making our languages bigger, what alternatives do we have? In this talk, I propose language composition as …

Continue reading

HDR defense: Supporting Software Evolution in the Organizations

What: HDR defense: Supporting Software Evolution in the Organizations Who: Nicolas Anquetil When: Friday, May the 09th at 13h30 Where: IRCICA Abstract: Software systems are now so intrinsically part of our lives that we don’t see them any more. They run our phones, our cars, our leisures, our banks, our shops, our cities … This …

Continue reading

Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies

What: Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies Who: Nicolas Sannier (Inria Rennes) When: April 17th, 11h45 – 12h30 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Uncontrolled written natural language is by far the most widely used communication medium, providing very convenient, quick, …

Continue reading

Building dynamic applications

What: Building dynamic applications Who: Walter Rudametkin (Inria Rennes) When: April 17th, 11h – 11h45 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Robusta is an architectural approach to building component-based, multi-threaded, centralized (i.e. single memory space) dynamic applications. Our key insight are : a) handling dynamism is …

Continue reading

How to maximize the reuse of software systems

What: How to maximize the reuse of software systems Who: Huaxi Yulin Zhang When: April 17th, 10h15 – 11h Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: To achieve better software, more quickly and at lower cost, the best solution is systematic software reuse from the development to …

Continue reading

Modélisation et test de mécanismes de sécurité

What: Modélisation et test de mécanismes de sécurité Who: Tejeddine MOUELHI (University of Luxembourg) When: April 15th, 13h15 Where: B31 Abstract:Dans cet exposé, seront présentés des travaux autour de la modélisation et de la validation de la sécurité, plus précisément dans le domaine du contrôle d’accès et des applications webs. Dans le domaine de la …

Continue reading

Support For Implementation Regularities

What: Support For Implementation Regularities Who: Angela Lozano When: Friday, April 18th, 13h Where: B31 Bio: Angela Lozano is currently a Postdoc at the Software Languages Lab in Brussels, and uses Pharo for her research. Abstract: We have developed a set of tools to provide recommendations for developers and maintainers. These tools are based on …

Continue reading

Touch first: Opportunities to reinvent computing

What: Touch first: Opportunities to reinvent computing When: March 6th, 10h30 Where: B31 Who: Jochen Rick http://home.cc.gatech.edu/je77/research ABSTRACT Every fifteen years or so, new technology begets a computing revolution. We are in the early stages of the touch revolution. In 2013, there were more multi-touch tablets sold than laptops and desktops combined. Since 2007, I …

Continue reading