Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Dataset Source Code
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…
Dataset Source Code
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…
Dataset Source Code
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…
Video
SmartKC: A Low-cost, Smartphone-based Corneal Topographer
Microsoft Research India, in collaboration with the Sankara Eye Hospital, developed SmartKC, a low-cost, smartphone-based corneal topographer that can diagnose keratoconus. In a pilot clinical study, SmartKC achieved a sensitivity of 94.1% and a specificity…
Video
On Learning-Aware Mechanism Design
Statistical decisions are often given meaning in the context of other decisions, particularly when there are scarce resources to be shared. Managing such sharing is one of the classical goals of microeconomics, and it is…
Group
Microsoft Research Special Projects
The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research group with world-class specialists solving highly uncertain, complex problems. We build technologies to…