Data platforms and analytics
Project
Optimizing Big-Data Queries using Program Reasoning
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be…
Event
Microsoft @ LISA 2017
Microsoft is a silver sponsor of LISA17, the annual vendor-neutral meeting place for the wider system administration community. The program will address the overlap and differences between traditional and modern IT operations and engineering, curated…
Event
Microsoft Research @ HCOMP 2017
We are excited to be a gold sponsor of Human Computation and Crowdsourcing (HCOMP) 2017, the premier venue for disseminating the latest research findings on crowdsourcing and human computation. While artificial intelligence (AI) and human-computer…
Event
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
Microsoft Research Blog
Changing the world with data science
Alan Turing asked the question “can machines think?” in 1950 and it still intrigues us today. At The Alan Turing Institute, the United Kingdom’s national institute for data science in London, more than 150 researchers…
Publication
Scale-out acceleration for machine learning
Video
Accelerating data science at the Alan Turing Institute with Microsoft Azure
Researchers at the Alan Turing Institute in the United Kingdom are using artificial intelligence and machine learning to push the state of the art in data science to better understand what makes us happy, angry…
