University of Birmingham > Talks@bham > Lab Lunch > Towards seamless distributed computing

Towards seamless distributed computing

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

If you have a question about this talk, please contact Dan Ghica.

We present a seamless approach to writing and compiling distributed code. By ”seamless” we mean that the syntax and semantics of the distributed program remain the same as if it was executed on one node only, except for label annotations indicating on what node sub-terms of the program are to be executed. There are no restrictions on how node labels are to be assigned to subterms. We show how the paradigmatic (higher-order functional recursive) programming language PCF , extended with node annotations, can be used for this purpose. The compilation technique is directly inspired by game semantics and the Geometry of Interaction.

This talk is part of the Lab Lunch series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.