Systems Research Group – Redmond
Projets
The goal of Project Fiddle is to build efficient systems infrastructure for very fast distributed DNN training. Our goal is to support 100x more efficient training. Our innovations cut across the systems stack: the memory subsystem, structuring parallel computation across…
Établi:
Komodo is a formally-verified reference monitor for an attested, secure isolated execution environment («enclave») on ARM TrustZone. It illustrates an alternative approach to Intel’s SGX, achieving similar security guarantees through formal verification, and allowing enclave features to evolve independently of…
Établi:
The Distributed Social Analytics Platform (DSoAP) project is focused on the “Huge Data” problem in social policy research caused by the breadth of data involved. Using aggregate social media data to investigate and validate social issues (such as employment, health…
Établi:
An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This does more than eliminate implementation…
Mobile & Internet of Things (IoT) devices, along with other battery operated devices, are energy constrained. While hardware capabilities have increased tremendously over the last ten years, battery energy density has only doubled. In this project we are exploring several…