Here are some projects that we’re working on in the group.
Captive is a high-speed cross-architecture virtualisation simulation, that allows you to run guest ISAs at near-native speeds. The ISAs are described in a high-level language, so Captive is portable to many different instruction sets.
The JIT-as-a-Service project is a joint project with the University of Edinburgh to investigate how Just-in-time Compilation can be disaggregated and offloaded for workloads that use it – e.g. dynamic language runtimes!