AEMINIUM - Freeing Programmers from the Shackles of Sequentiality

Description

Aeminium is a platform which builds 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 runtime system to enable parallelism.

Researchers

Funded by

FCT

Partners

University of Madeira, Carnegie Mellon University, Novabase

Total budget

509 730,00 €

Keywords

Aeminium, Concurrency by default, Programming Languages

Start Date

2009-11-01

End Date

1971-01-01

Journal Articles

Conference Articles