The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the
Haskell programming language, along with its own extensions to the language and libraries …

Expressing algorithms using immutable arrays greatly simplifies the challenges of automatic
SIMD vectorization, since several important classes of dependency violations cannot occur …

We present the design of a formal low-level multi-threaded language with advanced region-
based memory management and synchronization primitives, where well-typed programs are …

Papers on functional language implementations frequently set the goal of achieving
performance" comparable to C", and sometimes report results comparing benchmark results …

Speculative multithreading (SpMT), also known as thread level speculation (TLS), is a
dynamic parallelization technique that relies on out-of-order execution, dependence …

We present the design of a formal low-level multithreaded language with advanced region-
based memory management and thread synchronization primitives, where well-typed …

Method level speculation (MLS) is an optimistic technique for parallelizing imperative
programs, for which a variety of MLS systems and optimizations have been proposed …

It includes both the Extended Synopsis (pages 5 to 9) and the full scientific proposal (pages
10 to 25). The 5-page description of the Principal Investigator's background (CV, awards …

The ever-increasing complexity and performance requirements of modern software over the
last couple of decades, has prompted hardware designers to introduce a wide range of …

In light of recent hardware advances, general-purpose computing on graphics processing
units (GPGPU) is becoming increasingly commonplace, and needs novel programming …