Journal Article: AEminium: A Permission Based Concurrent-by-Default Programming Language Approach

[stork14toplas]

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich, AEminium: A Permission Based Concurrent-by-Default Programming Language Approach, ACM Transactions on Programming Languages and Systems, Vol. 36, (1), pp. 2:1--2:42, March 2014.

Abstract

In this paper we present the AEMINIUM concurrent-by-default programming language. Using AEMINIUM, programmers express data dependencies rather than control flow between instructions. Dependencies are expressed using permissions, which are used by the type system to automatically parallelize the application. The AEMINIUM approach provides a modular and composable mechanism for writing concurrent applications, preventing data races in a provable way.

Download

[PDF]

[DOI]

BibTeX

@article{stork14toplas,
  title = {AEminium: A Permission Based Concurrent-by-Default Programming Language Approach},
  year = {2014},
  month = mar,
  publisher = {ACM},
  volume = {36},
  number = {1},
  pages = {2:1--2:42},
  journal = {ACM Transactions on Programming Languages and Systems},
  author = {Sven Stork and Karl Naden and Joshua Sunshine and Manuel Mohr and Alcides Fonseca and Paulo Marques and Jonathan Aldrich},
  address = {New York, NY, USA},
  doi = {10.1145/2543920},
}

Authors at the institute

Former Staff Member
Dr.-Ing. Manuel Mohr