Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft @ Grace Hopper
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…
Towards Program Synthesis for Security
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
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.
Strippets Browser visual
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…