Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Program Synthesis can now generate readable code for a variety of task domains and in specific target programming languages and making use of specific libraries. Notebooks are emerging as a popular form factor for interacting…
Visual Studio IntelliCode brings the wisdom of your coding community to your aid right inside your development environment, delivering context-sensitive machine-learning assisted recommendations in your code editor, and soon delivering PROSE-based tools to discover cases…
The goal of Project Alava is to enable the easy construction, programming and debugging of microcontroller-based systems, followed by refinement to an optimized realization. High-level programming of the desired system in TypeScript using capability-based APIs…
Microsoft’s Quantum development kit (QDK) and its programing language, Q#, are poised to empower both research and education in quantum computing and quantum programming. We can show how the resources estimator provided with the QDK…
Spreadsheets allow users to combine data, computation, and presentation in compelling ways that allow analysis, exploration, insight, and communication. By applying machine learning and AI based on deep neural networks to spreadsheets, and combining that…
With the shift from boxed products to services, rich data is available from all stages of the Software Development Life Cycle. By leveraging this data, AI can assist software engineers, break down organizational boundaries and…
Management of large application state is one of the hardest problems for cloud and edge apps today. We demonstrate FASTER, a new open-source concurrent key-value store from Microsoft Research, that supports larger-than-memory data while providing…
The Multi-Device Experiences (MDX) toolkit is an extensible cloud AI service hosted in Azure that enables research and development on task-focused scenarios spanning multiple devices. The toolkit enables developers to create intelligent, interactive experiences that…
Charticulator is an interactive authoring tool that enables the creation of bespoke and reusable chart layouts. Charticulator is our response to most existing chart construction interfaces that require authors to choose from predefined chart layouts,…
Without good models and the right tools to interpret them, data scientists risk making decisions based on hidden biases, spurious correlations, and false generalizations. This has led to a rallying cry for model interpretability. Yet…
