Ijaz Ahmad
Sukriti Bhattacharya

The AEminium project proposes a platform that builds in concurrency by default: instead of sequencing code, programmerrs express dependency information that is used by a compile-time checker to verify correctness conditions and by the libraries and run-time system to enable concurrent executing. As a result, developers can write parallel code in a natural style and have confidence in its correctness and performance.  

Universities Involved: The University of Madeira, The University of Coimbra, Carnegie Mellon University (CMU)

Industrial Partner: Novabase