Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (445)
+
Events (410)
 
Groups (152)
+
News (2621)
 
People (736)
 
Projects (1066)
+
Publications (12096)
+
Videos (5323)
Labs
Research areas
Algorithms and theory47205 (81)
Communication and collaboration47188 (101)
Computational linguistics47189 (44)
Computational sciences47190 (80)
Computer systems and networking47191 (273)
Computer vision208594 (70)
Data mining and data management208595 (11)
Economics and computation47192 (20)
Education47193 (32)
Gaming47194 (42)
Graphics and multimedia47195 (132)
Hardware and devices47196 (93)
Health and well-being47197 (27)
Human-computer interaction47198 (285)
Machine learning and intelligence47200 (165)
Mobile computing208596 (12)
Quantum computing208597 (0)
Search, information retrieval, and knowledge management47199 (195)
Security and privacy47202 (86)
Social media208598 (7)
Social sciences47203 (100)
Software development, programming principles, tools, and languages47204 (191)
Speech recognition, synthesis, and dialog systems208599 (7)
Technology for emerging markets208600 (3)
1–25 of 273
Sort
Show 25 | 50 | 100
1234567Next 
Parasail is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values. The efficiency of parallelization, then, depends on the efficiency of the symbolic computation, an active area of research in static analysis, verification, and partial evaluation. This is exciting as advances in these fields can translate to novel parallel algorithms for sequential computation.
Project details
Labs: Redmond
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 vulnerabilities such as buffer overflows, parsing errors, or data leaks; it tells the user exactly how the app will behave at all times.
Project details
Labs: Redmond
an overhead-constraint logging system
Project details
Labs: Asia
Data compression is essential to large-scale data centers to save both storage and network bandwidth. Current software based method suffers from high computational cost with limited performance. In this project, we are migrating the fundamental workload of the computer system to FPGA accelerator, aiming high throughput performance and high energy efficiency, as well as freeing some CPU resources.
Project details
Labs: Redmond
Software-defined radios (SDR) have a potential to bring major innovation in wireless networking design. However, their impact so far has been limited due to complex programming tools. Ziria addresses this problem. It consists of a novel programming language and an optimizing compiler. It is able to synthesize a very efficient SDR code from a high-level PHY description written in Ziria language.
Project details
Labs: Cambridge
This project targets on using automatic techniques to reduce MTTR of large-scale online service systems.
Project details
Labs: Asia
MODIST is a practical software model checker for unmodified concurrent, distributed and cloud systems. MODIST explores different execution paths systematically as well as simulating a variety of environment faults to discover subtle corner-case defects. We have applied MODIST in Oracle Berkely DB, MPS(Paxos implementation), SQL Azure, Windows Azure Storage and other real systems, and found many new bugs.
Project details
Labs: Asia
Project details
Labs: Cambridge
Project details
Labs: Redmond
Face In The Crowd examines the social impact of crowdsourcing platforms—cloud-based computational systems that allow the outsourcing of work through open requests—and how they might shape the future of work.
Project details
Project details
Labs: Redmond
Connected devices – sensors and actuators – have a growing impact on our society, environment and health. For example, there have been significant advances in gaining visibility into buildings' daily operations. The next step is to enable people to do more with the increasingly ubiquity of connected devices. To this end, Human-Building Analytics (HBA) data platform explores, for a wide spectrum of users, (1) more natural programmability for connected devices and (2) more personalized analytics.
Project details
Labs: Asia
Project details
Labs: Asia
Waypoint project is up and running in Building 99.
Project details
Labs: Redmond
As PHY layer data rates increase, CSMA MAC overheads dominate. The 9 us slot width at 1Gbps data rate can result in MAC efficiency of under 10%. WiFi-Nano proposes a novel speculative transmission based technique that leverages self-interference cancelation and allows for using 800ns slots -- reducing CSMA overheads by an order of magnitude.
Project details
Labs: Cambridge | India
The quest for higher data rates in WiFi is leading to the development of standards that make use of wide channels (e.g., 40MHz in 802.11n and 80MHz in 802.11ac). We argue against this trend of using wider channels, and instead advocate that radios should communicate concurrently over multiple narrow channels for efficient and fair spectrum utilization. We propose WiFi-NC, a novel PHY-MAC design that allows radios to use WiFi over multiple narrow channels simultaneously.
Project details
Labs: Cambridge | India
Dhwani enables information theoretically secure Near Field Communication (NFC) on existing mobile phones without requiring any special hardware or PKI infrastructure. It uses existing microphones and speakers on phones to perform acoustic NFC.
Project details
Labs: India
The LKW project is aimed at designing low-power algorithms and systems for admission control to speech systems: i.e., detecting foreground speech, recognizing leading keywords and verifying speakers on a continuously-on wearable device. Our goal is to consume under 10 mW average on generic embedded hardware available today and under 100uW on custom hardware.
Project details
Labs: Redmond
In data centers, the IO path to storage is long and complex. It comprises many layers or “stages” with opaque interfaces between them. This makes it hard to enforce end-to-end policies that dictate a storage IO flow’s performance (e.g., guarantee a tenant’s IO bandwidth) and routing (e.g., route an untrusted VM’s traffic through a sanitization middlebox). We are researching architectures that decouple control from data flow to enable such policies.
Project details
Labs: Cambridge
The Scalable Hyperlink Store is a specialized "database" for the web graph. SHS maintains the web graph in main memory, distributed over many machines. The system is available as C# source code as well as precompiled binaries.
A framework to reason about weaker forms of consistency and isolation in a replicated database.
Project details
Labs: Redmond
Energy drain in mobile devices is well recognized to be a serious problem. One solution is to provide tools and guidelines to enable application writers build more energy efficient programs. This project explores an alternative that mitigates the ill-effects of an energy hungry application. Our system, E-Loupe, offers a finer-grained approach to ensure predictable energy drain in mobile devices.
Project details
Labs: Redmond
Vision is the ultimate source of sensory input that we humans consume. We believe that the next generation of computers will provide the ability to continuously capture and analyze visual information in real-time, thus greatly enhancing the overall experience and efficiency of their users.
Project details
Labs: Redmond
Column store technology can provide very substantial performance improvements on data warehousing workloads. This project investigated how to integrate columnar storage into SQL Server. The solution adopted was to add a new index type, columnstore index, that stores data column wise instead of row wise. Columnstore indexes first shipped in SQL Server 2012, significant enhancements were added in SQL Server 2014, and further improvements will be included in the next release.
Project details
Labs: Redmond
This research project in MSR SVC aims to answer the following question: Can we allow programmers to write cloud applications as though they are accessing centralized, strongly consistent data while at the same time allowing them to specify their consistency/availability/performance (CAP) requirements in terms of service-level agreements (SLAs) that are enforced by the cloud storage system at runtime?
1–25 of 273
Sort
Show 25 | 50 | 100
1234567Next 
> Our research