AEminium

Freeing Programmers from the Shackles of Sequentiality.

Abstract

Current programming systems shackle developers to a sequential coding paradigm. This paradigm hampers developers from taking advantage of emerging large‐scale multicore hardware. We propose a platform which builds in concurrency by default: instead of sequencing code, programmers express dependency information, which is used by a compile‐time checker to verify correctness conditions, and by the libraries and runtime system to enable concurrent execution. As a result, developers can write parallel code in a natural style and have confidence in its correctness and performance.

Consult the Executive Summary for information on the project.