Orateur
Gérard BERRY (Collège de France)
Titre
Programmer en Esterel
Résumé
Documents
- Enregistrement audio de l’exposé.
Informations
Jeudi 18 juin, 14h-16h.
LIP6, salle 25-26/105.
Gérard BERRY (Collège de France)
Programmer en Esterel
Jeudi 18 juin, 14h-16h.
LIP6, salle 25-26/105.
Maarten BULLYNCK (SPHERE, Paris 8)
Explorer les codes et textes de MULTICS
Jeudi 21 mai, 14h-16h.
LIP6, salle 24-25/405.
David MADORE (Télécom ParisTech)
Un jeu de labyrinthe dans le plan hyperbolique écrit en JavaScript
La géométrie hyperbolique (géométrie non-euclidienne à courbure constante négative) peut présenter un attrait particulier pour le développement de jeux informatiques en ce qu’elle rend naturelle la création de mondes intrinsèquement labyrinthiques. Cette possibilité a cependant été peu explorée.
Jeudi 30 avril, 14h-16h.
LIP6, salle 25-26/105.
Greg KROAH HARTMAN (Linux Foundation)
Objects in the Linux kernel: evolution is good
This talk will discuss how the Linux kernel driver model came to be, starting out with one idea, which was refined by a group of people over time to encompass all types of devices within the kernel. This evolution changed Linux to use object oriented programming throughout all drivers, taking small objects and building on them, all using only the C language with almost no runtime overhead.
Thursday, April the 9th, 14-16 PM.
LIP6, room 24-25/405.
Damiano MAZZA (CNRS, LIPN)
Voyage à travers les virus MS-DOS
Entre la fin des années 1980 et la première moitié des années 1990, MS-DOS domine la scène des systèmes d’exploitation pour PC. Sa structure extrêmement simple, voire naïve, vis-à-vis de la gestion de la mémoire, des droits d’accès aux fichiers et des mesures de protection en générale (pratiquement inexistantes) fait de MS-DOS un terrain extraordinairement fertile pour le développement des virus informatiques dans le sens primordial (biologique) du terme : un morceau de code ne constituant pas en soi un programme mais s’appuyant sur d’autres programmes pour s’exécuter et s’auto-répliquer, entraînant éventuellement des effets secondaires néfastes (la grande majorité de ce que l’on appelle « virus » informatiques aujourd’hui en effet ne le sont pas en ce sens).
Dans cet exposé, nous analyserons quelques exemplaires de ces organismes informatiques désormais éteints, en montrant leurs principes de fonctionnement et, pour certains, leur sophistication.
Jeudi 19 mars 2015, 14h-16h.
LIP6, salle 25-26/105.
Julia LAWALL (Inria/LIP6-Whisper)
Understanding Linux Network Device Driver Code
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.
Gérard HUET (Inria Paris-Rocquencourt)
Littérature logicielle : des programmes informatiques agréables à lire, aptes à être publiés tels quels, et à servir de support à des cours exécutables
Donald Knuth a proposé la notion de « literate programming » il y a plus de 30 ans, afin de promouvoir l’écriture de programmes faciles à comprendre, à maintenir et à enseigner — pas juste des programmes jouets ou des algorithmes abstraits, mais les codes sources intégraux de logiciels de production, vus comme littérature exécutable. Nous présentons notre expérience du concept pour la publication et pour l’enseignement, expliquons le lien avec le « vernaculaire mathématique » proposé par de Bruijn, et donnons quelques raisons expliquant pourquoi ce concept n’a pas percé à ce jour autant qu’il l’aurait dû.
Jeudi 22 janvier 2015.
Salle 24-25/405 du LIP6, 14h-16h.