Large-Scale Data & Systems (LSDS) Group

Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning

Virtualisation platform using CHERI for isolation and sharing

Fast and Adaptive Distributed Machine Learning for TensorFlow, PyTorch and MindSpore.

SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves

Port of the DeathStar benchmark for microservices to a confidential computing setting.

SGX-Spark

Window-Based Hybrid CPU/GPU Stream Processing Engine

Crossbow: A Multi-GPU Deep Learning System for Training with Small Batch Sizes