University of Cambridge > > Semantics Lunch (Computer Laboratory) > From threads to events through classical program transformations

From threads to events through classical program transformations

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

  • UserGabriel Kerneis (PPS, Université Paris Diderot)
  • ClockWednesday 23 May 2012, 11:00-12:00
  • HouseFW26.

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].

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

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity