Our research
Content type
+
Downloads (438)
+
Events (396)
 
Groups (150)
+
News (2572)
 
People (820)
 
Projects (1054)
+
Publications (11934)
+
Videos (5173)
Labs
Research areas
Algorithms and theory47205 (81)
Communication and collaboration47188 (100)
Computational linguistics47189 (43)
Computational sciences47190 (77)
Computer systems and networking47191 (271)
Computer vision208594 (21)
Data mining and data management208595 (10)
Economics and computation47192 (20)
Education47193 (31)
Gaming47194 (42)
Graphics and multimedia47195 (130)
Hardware and devices47196 (92)
Health and well-being47197 (26)
Human-computer interaction47198 (281)
Machine learning and intelligence47200 (162)
Mobile computing208596 (7)
Quantum computing208597 (0)
Search, information retrieval, and knowledge management47199 (194)
Security and privacy47202 (85)
Social media208598 (6)
Social sciences47203 (97)
Software development, programming principles, tools, and languages47204 (189)
Speech recognition, synthesis, and dialog systems208599 (5)
Technology for emerging markets208600 (0)
1–25 of 189
Sort
Show 25 | 50 | 100
1234567Next 
an overhead-constraint logging system
Project details
Labs: Asia
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
Programming today involves editing code while also running it in our head. To augment this mental simulation, live programming promises for much more fluid feedback between the programmer and a program that is executing while it is being edited.
Project details
Labs: Asia
Crowd-sourcing is increasingly being used for providing answers to online polls and surveys. However, existing systems, while taking care of the mechanics of attracting crowd workers, poll building, and payment, provide little that would help the survey-maker or pollster to obtain statistically significant results devoid of even the obvious selection biases. InterPoll: a platform for programming of crowd-sourced polls. Polls are expressed as embedded LINQ queries, whose results are provided to t
Project details
Labs: Redmond
Logging is very important for software system development and management. It is crucial to avoid logging too little or too much. To achieve so, developers need to make informed decisions on where to log and what to log in their logging practices during development. However, there exists no work on studying such logging practices in industry or helping developers make informed decisions. In this paper, we systematically study the logging practices of developers.
Project details
Labs: Asia
This project targets at providing code suggestions based on programming context. The suggested code represents usages of an API method.
Project details
Labs: Asia
Project details
Labs: Asia
Tempe is a web service for exploratory data analysis.
Project details
Labs: Redmond
R2 is a research project within the Programming Languages and Tools group at Microsoft Research India on probabilistic programming. Our goal is to build a user friendly and scalable probabilistic programming system by employing powerful techniques from language design, program analysis and verification.
Project details
Labs: India
Project details
Labs: Redmond
Project details
Labs: Redmond
Project details
Labs: Redmond
Project details
Labs: India | Redmond
Project details
Labs: Cambridge
Code Digger is a Microsoft® Visual Studio® 2012 and 2013 extension that analyzes possible execution paths through your .NET code. The result is a table where each row shows a unique behavior of your code. The table helps you understand the behavior of the code, and it may also uncover hidden bugs.
Project details
Labs: Redmond
Intelligent Tutoring Systems (ITS) can significantly enhance the educational experience, both in the classroom and online. A key aspect of ITS is the ability to automatically generate problems of a certain difficulty level and that exercise use of certain concepts. This can help avoid copyright or plagiarism issues and help generate personalized workflows. This project develops technologies for problem generation in various subject domains including math, logic, and even language learning.
Project details
Labs: India | Redmond
Programming models such as HIVE and DryadLINQ provide programmers with simple declarative abstractions for writing data intensive computations that can run on a large cluster of machines. However, this level of abstraction comes at a cost – the inability to understand, predict and debug performance. This project aims at building performance models for predicting the performance of the query while identifying bottleneck resources and computations.
Project details
Labs: India
The goal of the Dandelion project is to provide simple programming abstractions and runtime supports for programming heterogeneous systems. Dandelion supports a uniform sequential programming model across a diverse array of execution contexts, including CPU, GPU, FPGA, and the cloud.
Efficient tools are indispensable in the battle against software bugs. In this project, we aims to improve the debugging productivity that targets different phases of an interactive and iterative debugging session.
Project details
Labs: Asia
A large number of academic research projects have been carried out on empirical studies or tool supports for detecting code clones. However, there are few examples of the practical adoption of these tools. In our unique approach to code clone detection, we focused on high tunability, scalability, compatibility, and explorability when developing our code clone detection algorithm and system. Our technology has been successfully used inside Microsoft and been integrated into Visual Studio 2012.
Project details
Labs: Asia
F# brings you type safe, succinct, efficient, and expressive functional programming language on the Microsoft .NET platform. This simple and pragmatic language has particular strengths in data-oriented programming, parallel I/O programming, parallel CPU programming, scripting, and algorithmic development. It enables you to access a huge library and tools base and comes with a powerful set of Microsoft Visual Studio development tools.
Project details
Labs: Cambridge
We develop and accelerate better, predictive, conservation science, tools and technologies in areas of societal importance. We aim to provide scientific support for effective environmental solutions for key decision makers, from the boardroom to governments makers. We are committed to leveraging the unique position our group occupies to influence how individuals and nations approach and tackle issues such as natural resource scarcity and biodiversity loss.
Project details
Labs: Cambridge
Project details
Labs: Redmond
The UP-Miner project targets at mining succinct and high covering API usage patterns from source code.
Project details
Labs: Asia
Enabling Microsoft develop software at the speed of thought. Creating a future where Microsoft's software engineering systems are considered best-in-class industry wide. CloudBuild reduces the continuous integration cycle and CodeMine enable data analysis on engineering activity across the company
Project details
1–25 of 189
Sort
Show 25 | 50 | 100
1234567Next 
> Our research