“If you think about the world that we’re in now, software plays a key role in our lives – in everything we do. And at the core of solving big problems and fundamental challenges is the ability to use software to attack the problem and…
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.
Posted by George Thomas Jr. Many programmers recognize Don Syme's name, but even more are influenced daily by his research and development. After all, Syme, a principal researcher in Microsoft's Cambridge, U.K., lab, has helped to develop and influence features of popular computer languages used…
Posted by Rob Knies Back in February, a post on this blog introduced Bing Code Search, a project to deliver new tools to save developers time and to make software development easier.Youssef Hamadi of Microsoft Research served as spokesman for his end of a collaboration…
Tweet Posted by Rob Knies Some people, it seems, are simply born to be computer-science researchers.Take Youssef Hamadi, for example. Earlier this week, he was asked a question about challenges he had encountered during a research project. His response began by sharing this revealing nugget:“As…
Posted by Rob Knies The changes wrought by technology in recent years is nothing short of astounding. First, music became digitized. Now, it’s video, in all its forms. That data can be stored, comfortably and effectively, in the cloud. And many of us walk around…
In the age of big data, the challenge is no longer how to collect or store vast quantities of data—it’s how to make sense of it and use it for practical benefit. Scientific researchers, governmental agencies, nonprofits, and businesses of all sizes are among those…
Computers are everywhere, controlling everything from phones and traffic lights to airplanes and buildings. And inside each computer is software: line after line of complex code that tells the program, and any attached hardware, what to do. It’s amazing how the world has come to…
By Janie Chang, Writer, Microsoft Research At Microsoft Research, there are computer scientists and mathematicians who live in a world of theory and abstractions. Then there is Nachi Nagappan, who was on loan to the Windows development group for a year while building a triage…
By Rob Knies, Managing Editor, Microsoft Research For Sriram Rajamani, the opportunity to work on improving software performance for Microsoft Research has been a productive, rewarding experience. And getting a chance to do so while stationed in his native India has been a rare privilege.…
By Rob Knies, Managing Editor, Microsoft Research Modern-day software development is notoriously challenging. Programs have become highly complex. Customer expectations have never been higher. Meeting quality standards is increasingly difficult. Challenging, yes. Difficult, perhaps. But such hurdles are not insurmountable, as Spec# demonstrates. Spec#, available…
