Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Tool
CherIoT-ibex: reference implementation of the ISA
cheriot-ibex is a RTL implementation of CHERI ISA based on LowRISC’s Ibex core. More specifically, cheri-ibex is a 32-bit RISC-V microcontroller which implements the CheriIoT ISA extension in addition to RV32IMCB. Same as the original…
Tool
CherIoT Sail: formal specification of the ISA
This repository contains an implementation of the CHERIoT ISA in Sail. It contains an executable description of the CHERIoT instruction set that can be used to build an instruction set emulator and also prove properties…
Tool
CherIoT RTOS and software stack
This repository contains the core RTOS components for the CHERIoT research platform. This is currently a research project that has been open-sourced to enable wider collaboration. It is not yet in a state where it…
Project
Performance Simulation for large-scale distributed training
Deep learning (DL) has been increasingly adopted by a variety of software-intensive systems. Developers mainly use GPUs to accelerate the training, testing, and deployment of DL models. However, the distributed training performance is often unknown…
Project
Low-earth-orbit communication
Low Earth Orbit (LEO) satellite communication is a promising approach to provide Internet connectivity to users in many remote areas. As videos are likely to account for majority of traffic in the LEO satellite network…
Publication