UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Violet Ka I Pun
21 July 2016

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.

Einar Broch Johnsen
Einar Broch Johnsen
Professor
Silvia Lizeth Tapia Tarifa
Silvia Lizeth Tapia Tarifa
Assoc. professor
Violet Ka I Pun
Violet Ka I Pun
Assoc. Professor

Publications

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming 179: 24-53, 2019
PDF Cite Project DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
PDF Cite Project DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Proc. FACS 2017
PDF Cite Project DOI
A Survey of Active Object Languages
ACM Computing Surveys 50 (5): 76:1–76:39, 2017
PDF Cite Project Project DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
PDF Cite Project DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
PDF Cite Project DOI
Advanced Lectures on Formal Methods for Multicore Programming
SFM 2015
Cite Project DOI
Advanced Lectures on Formal Methods for Multicore Programming
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Formal Methods for Multicore Programming (SFM 2015)
PDF Cite Project DOI