Vega-Lite Templates for PowerBI
This template shows how to incorporate a vega-lite specification as a PowerBI custom visual.
FigureQA: an annotated figure dataset for visual reasoning
Reasoning about figures Almost every scientific publication is accompanied by data visualizations in the form of graphs and charts. Figures are an intuitive aid for understanding the content of documents, so naturally, it is useful to…
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…
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…
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…
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…
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…