BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:From threads to events through classical program transformations -
  Gabriel Kerneis (PPS\, Université Paris Diderot)
DTSTART:20120523T100000Z
DTEND:20120523T110000Z
UID:TALK38343@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:Gabriel Kerneis (PPS\, Université Paris Diderot)\n\nThreads a
 nd events are two common techniques to implement concurrent programs.\nEve
 nts are often deemed harder to write and understand than threads\, because
 \ntheir control flow is scattered across long chains of callbacks. But the
 \nprogrammer cannot always afford using threads\, due to resource constrai
 nts (eg.\nembedded systems) or language limitation (eg. javascript). In su
 ch cases\, it\nmight be desirable to translate threads into events automat
 ically.\n\nWe present several styles of event-driven programs and study ho
 w to generate\nthem from a threaded description\, in the particular case o
 f C programs. Our\ntranslation steps are made of classical and proven tran
 sformation techniques\,\nmost notably lambda-lifting and conversion into c
 ontinuation-passing style.\n\nThese techniques have been used to implement
  the CPC translator [1].\n\n [1]: http://www.pps.jussieu.fr/~kerneis/softw
 are/cpc/
LOCATION:FW26
END:VEVENT
END:VCALENDAR