Current Projects

BOSS
A Bring-Your-Own-Kernel DBMS
Big Data Processing
CloudCAP
Compartments and Cloud-Native Applications
Cloud Computing
Faasm
High performance serverless computing
Big Data ProcessingServerless
FractOS
Secure and Efficient Disaggregated Systems
Cloud ComputingSystems Security
KungFu
Adaptive Distributed Machine Learning
Machine Learning
LightSaber
Multi-core Window-Based Stream Processing
Big Data Processing
Teechain
A Secure Blockchain Payment Network
Systems Security
Ako
Decentralised Deep Learning
Machine Learning
ASIA
Adaptive Publish/Subscribe Systems
Cloud Computing
CloudFilter
Confinement of Sensitive Data
Cloud Computing
CloudSafetyNet
End-to-End Cloud Security
Systems Security
Crossbow
Scalable Multi-GPU Deep Learning
Machine Learning
DISSP
Dependable Stream Processing Systems
Big Data ProcessingCloud Computing
HARNESS
Heterogeneous Cloud Computing
Cloud Computing
ITA-DSM
Mobile Stream Processing
Big Data ProcessingNetworking
MDF
Meta-Dataflows
Big Data Processing
Medea
Heterogenous Application Scheduling
Cloud Computing
MobiCloud
Mobile Edge Computing
Cloud ComputingNetworking
Multicore-FSM
Parallel Finite State Machines
Big Data Processing
NaaS
Application-Specific Network Services
Cloud ComputingNetworking
SABER
Hybrid Stream Processing
Big Data ProcessingMachine Learning
SEEP
Stateful Big Data Processing
Big Data Processing
SERECA
Hardware-Assisted Cloud Security
Cloud ComputingSystems Security
SGX-LKL
Linux Binaries in SGX Enclaves
Systems Security
SmartFlow
Secure Event-Based Middleware
Systems Security
SymNV
Symbolic Network Verification
Networking
Ukairo
Scalable Internet Detouring
Cloud ComputingNetworking