Programming languages and software engineering
Tool
GATK 4.0 Preview
Today’s healthcare organizations, academic institutions, and clinical labs are looking for simpler workflows and resources to handle the increased demand for next-generation sequencing (NGS). These organizations benefit from Microsoft’s trusted industry-leading approaches to security, privacy,…
Video
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Distributed systems are hard to get right. There have been many notable efforts in formal reasoning for distributed systems: these efforts have focused on language design, automated or semi-automated verification, and, more recently, on automated…
![Video: Discover[i]: Component-based Parameterized Reasoning for Distributed Applications](https://www.microsoft.com/en-us/research/wp-content/uploads/2018/11/42373_Discoveri-Component-based-Parameterized-Reasoning_video_10_2019_1280x720-1024x576.jpg)
Video
Automated Reasoning of Database Queries
From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. However, reasoning database queries automatically is not easy. It is shown to be undecidable in general. And there…
Publication
Reactive Caching for Composed Services
Event
Microsoft @ SPLASH 2018 OOPSLA
Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston, Massachusetts November 4 – 9. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have…
Project
SeeDot: compiler for low-precision machine learning
The emergence of IoT and Machine Learning (ML) has seen an increase in systems that deploy sensors to collect data and analyze the data using ML algorithms in the cloud. However, running the ML classifiers directly…