Retour à l'OSIS

Langages et Outils pour la fiabilité logicielle

17 Mai 2017 — Langages et Outils pour la fiabilité logicielle

14h-17h

IRILL, Paris "Qualité logicielle"

Résumé

Augmenter la fiabilité d'un logiciel permet à la fois de diminuer les risques pour ses utilisateurs, et de diminuer ses coûts pour ses concepteurs. Les langages modernes et les outils d'analyse permettent d'aider le développeur considérablement dans cette tâche souvent ingrate.

Increasing software reliability is a way to reduce risks for users, and to reduce costs for developers. Modern languages and analytic tools are proved to be very useful to the developer in this difficult task.

Direction de programme

Programme dirigé par Emmanuel Chailloux (LIP6/UPMC, Irill), Roberto Di Cosmo (Irif, Irill, Inria, UPD)

Description détaillée


     



Programme résumé

  • 13:45: Accueil
  • 14:00: Mot d'introduction
  • 14:15: When Ada & SPARK steal from other languages to improve safety

    Raphaël Amiard (Adacore)

  • 14:45: Projet Rudder: D’une programmation objet classique aux Free Monads en 8 ans de Scala

    Vincent Membré & François Armand (Normation)

  • 15:15: Quelques principes de sécurité pour le développement d'applications robustes

    Eric Jaegger (ministère de la défense)

  • 15:45: pause
  • 16:00: On static malware detection

    Tayssir Touilli (LIPN, univ Paris 13)

  • 16:30: Mise au point sur cartes graphiques

    Mathias Bourgoin (LIFO, univ Orléans)

  • 17:00: Développement des applications Web et mobiles du réseau social Be Sport grâce à la programmation multi-tier typée et au framework Ocsigen

    Vincent Balat (BeSport)

  • 17:30: Pot

Lieu

IRILL

Ville: Paris


Programme détaillé

  • 13:45 - Accueil
  • 14:00 - Mot d'introduction
  • 14:15 - When Ada & SPARK steal from other languages to improve safety

    Raphaël Amiard (Adacore)

  • 14:45 - Projet Rudder: D’une programmation objet classique aux Free Monads en 8 ans de Scala

    Vincent Membré & François Armand (Normation)

    8 ans, 70k lignes de codes, peu de logiciels ont autant de vécu que Rudder avec le langage Scala. Nous proposons, à travers ce retour d’expérience, de vous montrer comment nous utilisons Scala, plus particulièrement son système de type très puissant et ses traits fonctionnels, pour rendre la programmation du logiciel plus sûre, plus simple et surtout plus facile à maintenir.

    Nous nous appuierons sur des exemples issus du projet afin de montrer comment, au fil des années, nous avons utilisé de plus en plus de tactiques et de concepts à cette fin, des plus simples tels que l’absence de variables mutables, aux plus puissants comme les Free Monads.

  • 15:15 - Quelques principes de sécurité pour le développement d'applications robustes

    Eric Jaegger (ministère de la défense)

  • 15:45 - pause
  • 16:00 - On static malware detection

    Tayssir Touilli (LIPN, univ Paris 13)

  • 16:30 - Mise au point sur cartes graphiques

    Mathias Bourgoin (LIFO, univ Orléans)

  • 17:00 - Développement des applications Web et mobiles du réseau social Be Sport grâce à la programmation multi-tier typée et au framework Ocsigen

    Vincent Balat (BeSport)

    Be Sport est une start-up qui développe une plateforme sociale réunissant tous les acteurs du sport : les fans, athlètes, media, marques, etc. Pour permettre de développer rapidement, et avec des moyens limités, ses applications Web et mobiles, Be Sport a fait le choix d'utiliser le framework Ocsigen, qui propose une façon radicalement nouvelle de programmer, basée sur une version multi-tier du langage OCaml, et une utilisation intensive du typage statique. Les applications Web et mobiles (iOS, Android) sont écrites avec un code source unique, qui permet de décrire les côtés serveur et client, et la version Web et mobile, le typage garantissant la fiabilité.



  • 17:30 - Pot

Intervenants

  • Eric JAEGER

    FFSI au Ministère de la défense

  • François ARMAND

    François Armand, papa³, développeur passionné, Scala depuis >10 ans, cofondateur & CTO de Normation, lead-dev Rudder.

  • Mathias BOURGOIN

    Maître de conférences (LIFO, Univ Orléans)

  • Raphaël AMIARD

    Raphaël Amiard is a software engineer at AdaCore working on tooling and compiler technologies. He joined AdaCore in 2013, after an internship on AdaCore's IDEs. His main interests are compiler technologies, language design, and sound/music making.

  • Tayssir TOUILLI

    Directrice de recherche (DR - CNRS) au LIPN

  • Vincent BALAT

    CTO de Be Sport

  • Vincent MEMBRé

    Vincent Membré, Développeur Lambda chez Normation, depuis 5 ans ( Scala \o/, mais pas uniquement) , Release manager sur Rudder, presque double papa.

Organisateurs (2017)

Co-organisateurs et sponsors (2017)

Ils parlent de l'OSIS (2017)