Titre : Sérialisation d'un programme concurrent par passage de continuation

Auteur : Juliusz Chroboczek (PPS - université Paris Diderot (Paris 7))
 
Résumé : 

dans cet exposé, je montrerai comment un programme qui utilise
des /threads/ peut être transformé de façon systématique en un programme
par événements qui, dans un certain sens, est équivalent au programme
initial.  Je commencerai par vous raconter ce que c'est que les
/threads/ et les événements, puis je donnerai un exemple d'un petit
programme avec /threads/ qui n'est pas complètement trivial
à reimplémenter de façon séquentielle.  Je le transformerai ensuite
manuellement en un programme à événements.

Les techniques présentées sont celles qui sont utilisées dans CPC

 http://www.pps.jussieu.fr/~kerneis/software/cpc/

mais l'exposé ne fera pas référence à CPC -- tout sera fait à la main.

Prérequis : il serait bon que vous ayez vaguement entendu parler de
/threads/.  L'exposé sera fait en Français et en Scheme, et je ne ferai
pas de rappel de la syntaxe du Français.