Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Data processing use cases, from transformation to analytics, perform tasks that require various combinations of queuing, streaming and lightweight processing steps. Until now, supporting all of those needs has required different systems for each task–stream…
NNI (Neural Network Intelligence) is a toolkit to help users run automated machine learning (AutoML) experiments. The tool dispatches and runs trial jobs generated by tuning algorithms to search the best neural architecture and/or hyper-parameters…
Abstract for Talk Title 1: Extending F* in F*: Proof automation and Metaprogramming for Typeclasses, Concurrency, Optimizations and More In this talk we will provide an overview of the road we’ve been following for the…
The Microsoft Research PhD Scholarship Program in EMEA (Europe, Middle East, Africa) was launched in 2004 by Microsoft Research Cambridge, United Kingdom and has so far supported more than 200 PhD students from more than…
Episode 36, August 8, 2018 – In a wide-ranging interview, Microsoft’s Chief Technology Officer, Kevin Scott shares his insights on both the history and the future of computing, talks about how his impulse to celebrate…
This is PointSQL, the source codes of Natural Language to Structured Query Generation via Meta-Learning (opens in new tab) and Pointing Out SQL Queries From Text from Microsoft Research. We present the setup for the WikiSQL experiments.
