Programming languages and software engineering
Microsoft Research Blog
Coyote: Making it easier for developers to build reliable asynchronous software
For developers, writing bug-free software that doesn’t crash is getting difficult in an increasingly competitive world where software needs to ship before it becomes obsolete. This challenge is especially apparent with online cloud services, which…
Video
Orca: Differential Bug Localization in Large-Scale Services
Best Paper at OSDI’18: https://www.usenix.org/conference/osdi18/presentation/bhagwan Today, we depend on numerous large-scale services for basic operations such as email. These services are complex and extremely dynamic as developers continuously commit code and introduce new features, fixes…
Project
Democratizing Hardware Initiative
Currently, developing new electronic devices requires significant expertise and resource, and such hardware products are often only practical at scale. We want to make the design and manufacture of new electronic devices quicker, cheaper, easier…
Podcast
Engineering research to life with Gavin Jancke
If you want an inside look at how a research idea goes from project to prototype to product, you should hang out with Gavin Jancke for a while. He’s the General Manager of Engineering for…
Video
The next generation of developer tools for data programming
Traditional software development activities (like editing, testing, debugging, and others) often need to be carried out by individuals who are not typical software developers. Tools as diverse as spreadsheets, Jupyter notebooks, and deep learning frameworks…
Webinar
The next generation of developer tools for data programming webinar
In this webinar led by Partner Researcher Dr. Ben Zorn, follow the path of the revolution that empowers more people to easily leverage computational resources for problem solving. You will examine the incredible opportunities and technical…
Video
An Ethical Crisis in Computing?
Computer scientists think often of “Ender’s Game” these days. In this award-winning 1985 science-fiction novel by Orson Scott Card, Ender is being trained at Battle School, an institution designed to make young children into military…
