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-core world. However, shaping software for multi-cores is more envolving than simply balancing workload among cores. In a near future (in less than a decade) Intel prepares to manufacture and ship 80-core processors; programmers must perform a paradigm shift from sequential to concurrent programming and produce software adapted for multi-core platforms. In the last decade, proposals have been made to compile formal concurrent and functional languages, notably the $\pi$-calculus, typed concurrent objects, and the $\lambda$-calculus, into assembly languages. The last work goes a s...
Embedded systems often include a traditional processor capable of executing sequential code, but bot...
We propose a new approach to programming multi-core, relaxed-memory architectures in imperative, por...
We motivate the design of a typed assembly language (TAL) by presenting a type-preserving translatio...
Current trends in hardware made available multi-core CPU systems to ordinary users, challenging rese...
We extend a previous work on a multithreaded typed assembly language (MIL) targeted at shared memory...
AbstractWe extend a previous work on a multithreaded typed assembly language (MIL) targeted at share...
We investigate whether the Pi-calculus is able to serve as a good foundation for the design and impl...
In this paper we present the definition, and implementation of a concurrent language mp (Message Pas...
The synchronous pi-calculus is translated into a core language of Concurrent Haskell extended by fut...
The-calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well st...
AbstractIn this paper, we outline a general picture of our ongoing work on a compilation and executi...
Despite extensive theoretical work on process-calculi, abstract machine specifications and implement...
The challenge of programming many-core architectures efficiently and effectively requires models and...
Common many-core processors contain tens of cores and distributed memory. Compared to a multicore sy...
Most programming languages in use today have some way to express concurrent execution of proce...
Embedded systems often include a traditional processor capable of executing sequential code, but bot...
We propose a new approach to programming multi-core, relaxed-memory architectures in imperative, por...
We motivate the design of a typed assembly language (TAL) by presenting a type-preserving translatio...
Current trends in hardware made available multi-core CPU systems to ordinary users, challenging rese...
We extend a previous work on a multithreaded typed assembly language (MIL) targeted at shared memory...
AbstractWe extend a previous work on a multithreaded typed assembly language (MIL) targeted at share...
We investigate whether the Pi-calculus is able to serve as a good foundation for the design and impl...
In this paper we present the definition, and implementation of a concurrent language mp (Message Pas...
The synchronous pi-calculus is translated into a core language of Concurrent Haskell extended by fut...
The-calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well st...
AbstractIn this paper, we outline a general picture of our ongoing work on a compilation and executi...
Despite extensive theoretical work on process-calculi, abstract machine specifications and implement...
The challenge of programming many-core architectures efficiently and effectively requires models and...
Common many-core processors contain tens of cores and distributed memory. Compared to a multicore sy...
Most programming languages in use today have some way to express concurrent execution of proce...
Embedded systems often include a traditional processor capable of executing sequential code, but bot...
We propose a new approach to programming multi-core, relaxed-memory architectures in imperative, por...
We motivate the design of a typed assembly language (TAL) by presenting a type-preserving translatio...