Mm

Author's details

Date registered: February 16, 2012
URL: http://www.monperrus.net/martin/

Latest posts

  1. Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies — 2014/04/16
  2. Building dynamic applications — 2014/04/16
  3. How to maximize the reuse of software systems — 2014/04/16
  4. Modélisation et test de mécanismes de sécurité — 2014/04/14
  5. MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud — 2014/01/09

Author's posts listings

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 »

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 …

Continue reading »

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 …

Continue reading »

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 …

Continue reading »

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 …

Continue reading »

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 …

Continue reading »

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 …

Continue reading »

Older posts «