We previously developed a polymorphic type system and a type checker for a multithreaded
lock-based polymorphic typed assembly language (MIL) that ensures that well-typed …

This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria
projects on a type-based compilation and execution framework for a class of multicore …

Although many people still think that it is difficult or even impossible to implement OS kernels
in a strictly typed programming language, we dispelled the myth in our previous works by …

We extend a previous work on a multithreaded typed assembly language (MIL) targeted at
shared memory multiprocessors, and describe the design of a type-preserving compiler from …

In this paper, we outline a general picture of our ongoing work on a compilation and
execution framework for a class of multicore CPUs [Gelsinger, P., P. Gargini, G. Parker and …

We present Mob, a service‐oriented scripting language, for programming mobile agents. We
argue that combining the service‐oriented and mobile agent paradigms provides a very …

The execution of the client side of a mobile service is a task greatly conditioned by the
limited resources available to perform computation and communication. Moving these …

Introduction. Current trends in hardware made available multi-core CPU systems to ordinary
users, challenging researchers to devise new techniques to bring software into the multi …

A programação concorrente com base em memória partilhada é uma disciplina difícil. A
possível interferência entre threads no acesso a zonas de memória partilhada pode causar …

Typed assembly languages have been designed to ensure safety on low-level code,
avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus …