From threads to events through classical program transformations

Add to your list(s) Download to your calendar using vCal

• Gabriel Kerneis (PPS, Université Paris Diderot)
• Wednesday 23 May 2012, 11:00-12:00
• FW26.

If you have a question about this talk, please contact Peter Sewell.

NB: Unusual day/time

Gabriel Kerneis (PPS, Université Paris Diderot)

Threads and events are two common techniques to implement concurrent programs. Events are often deemed harder to write and understand than threads, because their control flow is scattered across long chains of callbacks. But the programmer cannot always afford using threads, due to resource constraints (eg. embedded systems) or language limitation (eg. javascript). In such cases, it might be desirable to translate threads into events automatically.

We present several styles of event-driven programs and study how to generate them from a threaded description, in the particular case of C programs. Our translation steps are made of classical and proven transformation techniques, most notably lambda-lifting and conversion into continuation-passing style.

These techniques have been used to implement the CPC translator [1].

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

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.