From Aeminium
Jump to: navigation, search

Freeing Programmers from the Shackles of Sequentiality.

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.

AEminium at the University of Coimbra

The AEminium Runtime is being optimized in terms of scheduling algorithms, merging policies and other improvements. There is also parallel work towards executing AEminium programs on the GPU automatically, using OpenCL technology under the hood. There is yet some work being developed on using access permissions on a event-oriented language.

AEminium at the University of Madeira

The organizers of FMICS'11 selected the article "Multi-Task Threaded Server: A Case Study With The Plural Tool" by Néstor Cataño and Ijaz Ahmed for submission to Science of Computer Programming (SCP). FMICS invited 7 papers in total and will select 5 of them for final publication to SCP. This article discusses the business case provided by AEMinium's industrial partner Novabase.

Follow this link for more information on what the University of Madeira is doing on the AEminium project.

AEminium at the Carnegie Mellon University

Contact Jonathan Aldrich at CMU for more information.