We propose a new operational model for shared variable concurrency, in the context of a
concurrent, higher-order imperative language à la ML. In our model the scheduling of …

We propose a multicore-ready programming language based on a two-level shared memory
model. Concurrency units are schedulers and threads which are dispatched on available …

We formalise a thread-based concurrent language which makes resource control possible.
Concurrency is based on a two-level model: threads are executed cooperatively when …

Due to difficulties for Vasy to obtain PhD students in Grenoble (a problem pointed out during
the previous evaluation in 2003), Vasy decided to join the Lig (Laboratoire d'Informatique de …

The MIMOSA project is a joint project with the Centre for Applied Mathematics of the École
Nationale Supérieure des Mines de Paris, and the Laboratoire d'Informatique Fondamentale …