Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Highlights
Researchers seek to simplify the complex in cloud computing
Read more about Researchers seek to simplify the complex in cloud computing
High performance container networking
Read more about High performance container networking
Winning combination: 2019 Microsoft Research Ada Lovelace and PhD Fellowships support top talent
Read more about Winning combination: 2019 Microsoft Research Ada Lovelace and PhD Fellowships support top talent
4,306 results found
Publication
Pushing Data-Induced Predicates Through Joins in Big-Data Clusters
Using data statistics, we convert predicates on a table into data-induced predicates (diPs) that apply on the joining tables. Doing so substantially speeds up multi-relation queries because the benefits of predicate pushdown can now apply beyond just the tables that have predicates. We use diPs to skip data exclusively during query optimization; i.e., diPs lead to better plans and have no overhead during query execution. We study how to apply diPs for complex query expressions…
Publication
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
We present EverCrypt: a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. The API provably supports agility (choosing between multiple algorithms for the same functionality) and multiplexing (choosing between multiple implementations of the same algorithm). Through abstraction and zero-cost generic programming, we show how agility can simplify verification without sacrificing performance, and we demonstrate how C and assembly can be composed and verified against shared specifications. We substantiate the effectiveness…
Event
Swiss Joint Research Center Workshop 2020
The 7th annual workshop of the Microsoft-Swiss Joint Research Centre (with ETH Zurich/EPFL) takes place January 29-30, 2020 at EPFL in Lausanne. The workshop will provide an opportunity for project updates and collaborative meetings across twelve projects. Speakers from each project collaboration will present the current state of their projects and outlined future plans.
Project
HybridKube: Kubernetes for Hybrid Edge-Cloud Clusters
HybridKube provides Kubernetes extensions which allow for optimal placement utilizing cost functions for “pipelines”, which are a collection of micro-services that communicate with each other (multiple deployments in Kubernetes terminology). In addition to placement, we aim to provide optimal request forwarding from one micro-service to the next by optimally configuring the service mesh.
Project
Adaptation at the Edge
LOKI is a suite of services and programming abstractions that simplify the development of adaptive edge-cloud and multicloud applications.
Career Opportunity
Research Intern – Cloud Operations Research
The Cloud Operations Research (CORE) group in MSR-Redmond does research in the intersection of algorithms, operations research, machine learning and computer systems. Our focus is on designing large-scale optimization solutions for cloud systems and applications. Example intern projects include algorithms for dynamic resource allocation under uncertainty (e.g., for VM allocation) and cloud supply chain management. Our research leverages theoretical insights for designing optimization algorithms that run efficiently at scale. Job number: 752661
Project
Paya: Availability at the Edge
While edge computing is touted as the next big evolution in cloud computing, little is said about edge availability. Customers use the cloud for the operation of their businesses and they expect the cloud to be available 24x7x365. Should they not expect the same from their edge servers? However, in a single edge deployment, many diverse applications share the same edge cluster while having different requirements on availability. For example, a building heating application that…
Career Opportunity
Research Intern – Azure Global Research
At Azure Global Research, we aim to do fundamental research, write papers in top-tier conferences, and also take these innovations to the real world. One such example is Project FarmBeats. The FarmBeats team is now in Azure Global Research. As part of our research, we currently have an opening for a research intern on developing a sub-surface sensing platform for measuring and reporting soil conditions using novel sensing modalities. We are looking for an experienced…
Career Opportunity
Research Intern – Azure Global Research
At Azure Global Research, we aim to do fundamental research, write papers in top-tier conferences, and also take these innovations to the real world. One such example is Project FarmBeats. The FarmBeats team is now in Azure Global Research. As part of our research, we currently have an opening for a research intern on developing a sub-surface sensing platform for measuring and reporting soil conditions using novel sensing modalities. We are looking for an experienced…
Career Opportunity
Research Intern – Azure Global Research
At Azure Global Research, we aim to do fundamental research, write papers in top-tier conferences, and also take these innovations to the real world. One such example is Project FarmBeats. The FarmBeats team is now in Azure Global Research. As part of our research, we currently have an opening for a research intern on developing a sub-surface sensing platform for measuring and reporting soil conditions using novel sensing modalities. We are looking for an experienced…
