[Athena] Séminaire Codes Sources — Julia Lawall — jeudi 19/02/2015 14h-16h LIP6 (24-25/405)

[Baptiste Mélès <baptiste.meles AT gmail.com>]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 19 février 2015 (14h-16h) :

Julia LAWALL (Inria/LIP6-Whisper) :

  « Understanding Linux Network Device Driver Code »


Résumé :

  A device driver forms the interface between the operating system and a
  specific device. While the operating system, running on a CPU, has a
  global view of machines resources, the device, due to possible
  limitations on its capabilities and to security constraints, has a
  specific and limited view. This different view of system resources
  leads to complex communication protocols. To address performance
  issues and evolutions in device design, these protocols have
  furthermore changed over time. We illustrate these issues in the
  context of network device drivers via examples, and consider how
  program manipulation techniques can be used to help in getting a
  global understanding of the code.

  Julia Lawall has been a Senior Researcher at Inria since 2011.
  Previously she was an Associate Professor at the University of
  Copenhagen. Her work includes the development of the program matching
  and transformation tool for C code, Coccinelle. Coccinelle has been
  used in the development of around 2000 patches for the Linux kernel.


Lieu :

  Salle 24-25/405 du LIP6 (monter dans la rotonde 24 ou 25 jusqu'au
  4e étage)


Adresse :

  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)


------------------------------------------------------------------------

Prochaines séances du séminaire Codes sources :

- Jeudi 19 mars : Damiano Mazza

- Jeudi 9 avril : Greg Kroah Hartman

- Jeudi 30 avril : David Madore, « Un jeu de labyrinthe dans le plan
  hyperbolique écrit en JavaScript »

- Jeudi 21 mai : Maarten Bullynck

- Jeudi 18 juin : Gérard Berry


Toutes les séances auront lieu de 14 heures à 16 heures au LIP6, en
salle 24-25/405.


------------------------------------------------------------------------

/* ***************************************
   * À propos du séminaire Codes sources *
   *************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs : 

- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).

Site : http://poincare.univ-lorraine.fr/fr/seminaire-codes-sources

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------