Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The 2017 Grace Hopper Celebration of Women in Computing (GHC) is the world’s largest gathering of women technologists, where the best minds in computing convene to highlight the contributions of women to computing. Microsoft is a proud…
Many of the major security problems are caused by small programming errors, which could be avoided by automating menial programming tasks through program synthesis. However, program synthesis is still limited to a few lines of…
Microsoft MakeCode is a joint project between Microsoft Research and Visual Studio to make it simple to program microcontroller-based devices using a modern web app.
These visuals operate on any kind of tagged document content being visualized in Power BI. This can include key phrases, real-world entities such as people, places, and organizations, or abstract concepts that have been tagged…
In this work, we propose to apply trust region optimization to deep reinforcement learning using a recently proposed Kronecker-factored approximation to the curvature. We extend the framework of natural policy gradient and propose to optimize…
