Projects

BOSS
BOSS
A Bring-Your-Own-Kernel DBMS
Big Data Processing
 CloudCAP
CloudCAP
Compartments and Cloud-Native Applications
Cloud Computing
 Faasm
Faasm
High performance serverless computing
Big Data Processing, Serverless
 FractOS
FractOS
Secure and Efficient Disaggregated Systems
Cloud Computing, Systems Security
 KungFu
KungFu
Adaptive Distributed Machine Learning
Machine Learning
 LightSaber
LightSaber
Multi-core Window-Based Stream Processing
Big Data Processing
 Teechain
Teechain
A Secure Blockchain Payment Network
Systems Security

Past Projects

 Ako
Ako
Decentralised Deep Learning
Machine Learning
 ASIA
ASIA
Adaptive Publish/Subscribe Systems
Cloud Computing
 CloudFilter
CloudFilter
Confinement of Sensitive Data
Cloud Computing
 CloudSafetyNet
CloudSafetyNet
End-to-End Cloud Security
Systems Security
 Crossbow
Crossbow
Scalable Multi-GPU Deep Learning
Machine Learning
 DISSP
DISSP
Dependable Stream Processing Systems
Big Data Processing, Cloud Computing
 HARNESS
HARNESS
Heterogeneous Cloud Computing
Cloud Computing
 ITA-DSM
ITA-DSM
Mobile Stream Processing
Big Data Processing, Networking
 MDF
MDF
Meta-Dataflows
Big Data Processing
 Medea
Medea
Heterogenous Application Scheduling
Cloud Computing
 MobiCloud
MobiCloud
Mobile Edge Computing
Cloud Computing, Networking
 Multicore-FSM
Multicore-FSM
Parallel Finite State Machines
Big Data Processing
 NaaS
NaaS
Application-Specific Network Services
Cloud Computing, Networking
 SABER
SABER
Hybrid Stream Processing
Big Data Processing, Machine Learning
 SEEP
SEEP
Stateful Big Data Processing
Big Data Processing
 SERECA
SERECA
Hardware-Assisted Cloud Security
Cloud Computing, Systems Security
 SGX-LKL
SGX-LKL
Linux Binaries in SGX Enclaves
Systems Security
 SmartFlow
SmartFlow
Secure Event-Based Middleware
Systems Security
 SymNV
SymNV
Symbolic Network Verification
Networking
 Ukairo
Ukairo
Scalable Internet Detouring
Cloud Computing, Networking