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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

From threads to events through classical program transformations

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

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:

Note that ex-directory lists are not shown.

Other lists

Centre of Development Studies Leverhulme Centre for Human Evolutionary Studies, The Henry Wellcome Building, Fitzwilliam Street, Cambridge Seminar Room 8, School of Clinical Medicine

Other talks

The elephant in the room: Machine Learning directly into physical models The Magic of Magnetism Title to be confirmed Tea and Coffee Break A novel hereditary encephalopathy in four related Labrador Retrievers associated with a missense variant in the ALDH5A1 gene’ Title to be confirmed
 

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