inria > sophia
ensmp > cma
Migration and Mobility: Semantics and Applications

Overall objectives

The overall objective of the Mimosa project is to design and study models of concurrent, distributed and mobile programming, to derive programming primitives from these models, and to develop methods and techniques for formal reasoning and verification, focusing on issues raised by code mobility. More specifically, we develop a reactive approach, where concurrent components of a system react to broadcast events. We have implemented this approach in various programming languages, and we have integrated migration primitives in this reactive approach. In the past we also intensively studied models of mobility, like the π-calculus and its distributed variants, and the calculus of Mobile Ambients. Our main research areas are the following:
  • Security. We investigate security issues like confidentiality and resource consumption, using static analysis methods (for the verification of non-interference of programs with respect to given security policies, and of computational complexity), with an emphasis on the issues related to concurrent and mobile code.
  • Models and languages for reactive programming. We develop several implementations of the reactive approach, in various languages. We have designed, and still develop, an alternative to standard thread systems, called FairThreads. We study the integration of constructs for mobile code in the model of reactive programming.
  • Functional languages. We develop several implementations of functional languages, mainly based on the Scheme programming language. Our studies focus on designing and implementing a platform for a distributed environment. All our developments on the web rest on these implementations.
  • Web programming. We design and implement a programming environment for the web 2.0. It relies on a new distributed programming architecture where a program executes simultaneously on a server and a client. We aim at providing a realistic implementation that we constantly validate by developing and using end-users web applications.

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:20 2009.