Human fallibility, unpredictable operational environments, and the heterogeneity of hardware devices are driving in the need for software to be able to adapt as seen in the Internet of Things or national telecommunication networks. Unfortunately, …
This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation in an Actor Language". EnsembleS is an actor-based programming language supporting dynamic self-adaptation, (discovery, replacement, and …
N.B. The link to this pdf seems to be broken and i can’t recall the full details.
The pdf used to be here
Craig was one of my final year project students during my PhD.
The goal of this project is to implement static analysis at compile time to enable safe memory optimisations in message passing languages.
Kristian was one of my masters students during my PhD.
The goal of this project is to add simple types to Ensemble to enable the simplification of openCL programming by using actors.