OCaml is an industrial-strength, multi-paradigm programming language, widely used in
industry and academia. OCaml is also one of the few modern managed system …

Behavioral software contracts allow programmers to strengthen the obligations and
promises that they express with conventional types. They lack expressive power, though …

There are billions of lines of sequential code inside nowadays' software which do not benefit
from the parallelism available in modern multicore architectures. Automatically parallelizing …

In our hybrid runtime (HRT) model, a parallel runtime system and the application are
together transformed into a specialized OS kernel that operates entirely in kernel mode and …

Today's hardware is increasingly parallel, and to increase performance, applications must
be able to use this parallelism. Hence, programming languages must provide the means for …

Dynamic programming languages such as Python and Ruby are widely used, and much
effort is spent on making them efficient. One substantial research effort in this direction is the …

To leverage the benefits of modern hardware, dynamic languages must support parallelism,
and parallelism requires a virtual machine (VM) capable of parallel execution—a parallel …

Places bring new support for message-passing parallelism to Racket. This paper gives an
overview of the programming model and how we had to modify our existing, sequential …

We introduce a novel approach for using futures to automatically parallelize the execution of
pure method calls. Our approach is built on three new techniques to address the challenge …

Runtimes and applications that rely heavily on asynchronous event notifications suffer when
such notifications must traverse several layers of processing in software. Many of these …