Programming languages and software engineering
Video
Video Understanding: From Tags to Language
The increasing ubiquity of devices capable of capturing videos has led to an explosion in the amount of recorded video content. Instead of “eyeballing” the videos for potentially useful information, it has therefore been a…
Microsoft Research Blog
Equal parts passion and skill key to Microsoft Research high school intern projects
In a group — Microsoft Research — where most of the researchers have PhDs, what can high school students contribute? How can Microsoft contribute to high school students? Those questions were answered this summer, when…
Event
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…
Publication
Seam: provably safe local edits on graphs
Video
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…
