Programming languages and software engineering
Publication
Build systems a la carte
Video
Extending F* in F*: Proof automation and Metaprogramming for Typeclasses, Concurrency, Optimizations and More and Layered DSLs for Verified Stateful Programming
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…
Publication
Expandable Group Identification in Spreadsheets
Publication
The F# Language Design RFCs (F# 4.5)
Microsoft Research Blog
PhD Scholarship Program: Recognizing great research across EMEA
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…
Podcast
A conversation with Microsoft CTO Kevin Scott
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…
Tool
Pseudo-Task MAML
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.
Microsoft Research Blog
Top students contemplate the shape of the AI future at PhD Summer School
Beautiful summer weather, ice cold Pimm’s and the idyllic scenery along the River Cam greeted over 100 PhD students from across the EMEA (Europe, Middle East and Africa) region who had traveled to Cambridge, England,…
