You are here: Home / Dissemination / From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

Upscale is a new research project for developing a novel programming language based on concurrent objects which integrates in the compilation process extended static analysis techniques targeted towards optimizing the deployment of concurrent objects unto multi-core architectures.

One of the main challenges in the design of the programming language involves leveraging deployment related issues while maintaining a suitable level of abstraction which allows for automated analysis.

The approach taken in the UpScale project consider the following aspects that are listed below:

1. Design: Leveraging deployment concerns in the programming language design.
2. Analysis: Extended static checking using ownership and session types, and lightweight assertions to provide usable information to better address deployment concerns, both statically and dynamically
3.  Implementation: Development of a prototype compiler and run-time system for the programming language.
4. Application: Social simulation suite.

On this website, you will find a project summary and the project partners. The Upscale project is funded 2014-2017 by the EU under FP7. The Upscale project is started on February 1st, 2014.