UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
21 July 2016
![](/project/upscale/featured_hudcd709ff17409d79ac521417d4f02385_34878_de35c06e79ecc7e195c9427a04e5f22f.webp)
UpScale was an EU FP7 FET Open-X research project 2014-2017 (project no 612985). CORDIS website here.
The idea was to design programming languages for the manycore era, when a program can make use of potentially millions of processors. UpScale used incremental type-based program annotations specifying deployment-related information, and for innovative type-based deployment optimisations both at compile- and runtime. The Encore programming language was designed in this project.